Martynyuk, O. N.; Ahmesh, T.; Drozd, O. V.; Stepova, H. S. Checkability of Hierarchical Transmitions for Behavioral Check. ST 2018, 1, 30-40.