Martynyuk, O. N., Ahmesh, T., Drozd, O. V. and Stepova, H. S. (2018) “Checkability of hierarchical transmitions for behavioral check”, Systems and Technologies, 1(56), pp. 30-40. doi: 10.32836/2521-6643-2018-1-56-3.