V. Salauyou, “Designing safe finite state machines”, ijet, vol. 72, no. 2, pp. 1–9, Jun. 2026.