Martynyuk, O. N., Tamim Ahmesh, O. V. Drozd, and H. S. Stepova. 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.