Miroshnyk, Maryna, Kyrylo Pshenychnyi, Andrei Shafranskyi, and Oleksandr Shkil. “Models of Testable Timed Moore Finite State Machines”. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» 58 (June 26, 2023): 37-46. Accessed May 19, 2024. https://periodicals.karazin.ua/mia/article/view/23499.