Salauyou, Valery. 2026. “Designing Safe Finite State Machines”. International Journal of Electronics and Telecommunications 72 (2):1-9. https://doi.org/10.24425/ijet.2026.157937.