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