Salauyou, Valery. “Designing Safe Finite State Machines”. International Journal of Electronics and Telecommunications, vol. 72, no. 2, June 2026, pp. 1-9, doi:10.24425/ijet.2026.157937.