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», v. 58, p. 37-46, 26 Jun. 2023.