Verification of Model Transformations Using Isabelle/HOL and Scala. - Meghzili, Said; Chaoui, Allaoua; Strecker, Martin; Kerkouche, Elhillali (Information Systems Frontiers, 2019)