“Models of Testable Timed Moore Finite State Machines”, МІА, vol. 58, pp. 37–46, Jun. 2023, doi: 10.26565/2304-6201-2023-58-04.