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