MARTYNYUK, O. N.; AHMESH, T.; DROZD, O. V.; STEPOVA, H. S. Checkability of hierarchical transmitions for behavioral check. Systems and Technologies, v. 1, n. 56, p. 30-40, 27 Dec. 2018.