Miroshnyk, M., Pshenychnyi, K., Shafranskyi, A. and Shkil, O. 2023. 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, (Jun. 2023), 37-46. DOI:https://doi.org/10.26565/2304-6201-2023-58-04.