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 (Sep. 2025), 43–48. DOI:https://doi.org/10.55972/spectrum.v26i1.427.