Martynyuk ON, Ahmesh T, Drozd OV, Stepova HS. Checkability of hierarchical transmitions for behavioral check. ST [Internet]. 2018Dec.27 [cited 2025Jun.30];1(56):30-. Available from: http://www.st.umsf.in.ua/index.php/journal/article/view/5