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 (Dec. 2018), 30-40. DOI:https://doi.org/10.32836/2521-6643-2018-1-56-3.