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.