Cogo, Matheus, Carline Muenchen, Christopher Cerqueira, and Emilia Villani. 2025. “Inconsistency Detection Methods for Statecharts and Sequence Diagrams: A Systematic Literature Review”. Spectrum 26 (1):43-48. https://doi.org/10.55972/spectrum.v26i1.427.