Cogo, M., Muenchen, C., Cerqueira, C. and Villani, E. (2025) “Inconsistency detection methods for statecharts and sequence diagrams: a systematic literature review”, Spectrum, 26(1), pp. 43–48. doi: 10.55972/spectrum.v26i1.427.