Salauyou, V. (2026). Designing safe finite state machines. International Journal of Electronics and Telecommunications, 72(2), 1–9. https://doi.org/10.24425/ijet.2026.157937