Cogo, M., Muenchen, C., Cerqueira, C., & Villani, E. (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