EL-FAKIH, K.; YEVTUSHENKO, N.; BOZGA, M.; BENSALEM, S. Distinguishing extended finite state machine configurations using predicate abstraction. Journal of Software Engineering Research and Development, [S. l.], v. 4, p. 1:1 – 1:26, 2016. Disponível em: https://sol.sbc.org.br/journals/index.php/jserd/article/view/429. Acesso em: 29 mar. 2024.