COGO, M.; MUENCHEN, C.; CERQUEIRA, C.; VILLANI, E. Inconsistency detection methods for statecharts and sequence diagrams: a systematic literature review. Spectrum, [S. l.], v. 26, n. 1, p. 43–48, 2025. DOI: 10.55972/spectrum.v26i1.427. Disponível em: https://www.spectrum.ita.br/index.php/spectrum/article/view/427. Acesso em: 25 mar. 2026.