Models of Testable Timed Moore Finite State Machines. МІА [Internet]. 2023 Jun. 26 [cited 2026 Oct. 25];58:37-46. Available from: https://periodicals.karazin.ua/mia/article/view/23499