Miroshnyk, M., K. Pshenychnyi, A. Shafranskyi, and O. Shkil. “Models of Testable Timed Moore Finite State Machines”. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», Vol. 58, June 2023, pp. 37-46, doi:10.26565/2304-6201-2023-58-04.