SALAUYOU, Valery. Designing safe finite state machines. International Journal of Electronics and Telecommunications, [S. l.], v. 72, n. 2, p. 1–9, 2026. DOI: 10.24425/ijet.2026.157937. Disponível em: https://wydawnictwo.pan.pl/index.php/ijet/article/view/1128. Acesso em: 6 jun. 2026.