Models of Testable Timed Moore Finite State Machines. МІА. 2023;58:37-46. doi:10.26565/2304-6201-2023-58-04