M. Miroshnyk, K. Pshenychnyi, A. Shafranskyi, and O. Shkil, “Models of Testable Timed Moore Finite State Machines”, МІА, vol. 58, pp. 37-46, Jun. 2023.