Miroshnyk, M.; Pshenychnyi, K.; Shafranskyi, A.; Shkil, O. Models of Testable Timed Moore Finite State Machines. МІА 2023, 58, 37-46.