Cogo M, Muenchen C, Cerqueira C, Villani E. Inconsistency detection methods for statecharts and sequence diagrams: a systematic literature review. Spectrum [Internet]. 2025 Sep. 23 [cited 2026 Mar. 24];26(1):43-8. Available from: https://www.spectrum.ita.br/index.php/spectrum/article/view/427