Salauyou V. Designing safe finite state machines. ijet [Internet]. 2026 Jun. 2 [cited 2026 Aug. 17];72(2):1-9. Available from: https://wydawnictwo.pan.pl/index.php/ijet/article/view/1128