1. Miroshnyk M., Pshenychnyi K., Shafranskyi A., Shkil O. Models of Testable Timed Moore Finite State Machines // Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems». 2023. (58). C. 37-46.