M. Cogo, C. Muenchen, C. Cerqueira, and E. Villani, “Inconsistency detection methods for statecharts and sequence diagrams: a systematic literature review”, Spectrum, vol. 26, no. 1, pp. 43–48, Sep. 2025.