Certifying a rule-based model transformation engine for proof preservation. - Zheng Cheng; Massimo Tisi; Joachim Hotonnier (MoDELS, 2020)