O. N. Martynyuk, T. Ahmesh, O. V. Drozd, and H. S. Stepova, “Checkability of hierarchical transmitions for behavioral check”, ST, vol. 1, no. 56, pp. 30-40, Dec. 2018.