Cogo, M., C. Muenchen, C. Cerqueira, and E. Villani. “Inconsistency Detection Methods for Statecharts and Sequence Diagrams: A Systematic Literature Review”. Spectrum, vol. 26, no. 1, Sept. 2025, pp. 43-48, doi:10.55972/spectrum.v26i1.427.