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