Cogo, M.; Muenchen, C.; Cerqueira, C.; Villani, E. Inconsistency Detection Methods for Statecharts and Sequence Diagrams: A Systematic Literature Review. Spectrum 2025, 26, 43-48.