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