Salauyou, V. Designing Safe Finite State Machines. ijet 2026, 72, 1-9.