Cogo, Matheus, Carline Muenchen, Christopher Cerqueira, and Emilia Villani. “Inconsistency Detection Methods for Statecharts and Sequence Diagrams: A Systematic Literature Review”. Spectrum 26, no. 1 (September 23, 2025): 43–48. Accessed March 24, 2026. https://www.spectrum.ita.br/index.php/spectrum/article/view/427.