Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view. - Ma, Qin; Kaczmarek-Heß, Monika; de Kinderen, Sybren (Software & Systems Modeling, 2023)