Martynyuk, O. N., T. Ahmesh, O. V. Drozd, and H. S. Stepova. “Checkability of Hierarchical Transmitions for Behavioral Check”. Systems and Technologies, Vol. 1, no. 56, Dec. 2018, pp. 30-40, doi:10.32836/2521-6643-2018-1-56-3.