“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 October 25, 2026. https://periodicals.karazin.ua/mia/article/view/23499.