Cheng, Z., et al.. Certifying a Rule-based Model Transformation Engine for Proof Preservation. ACM, 2020, doi:10.1145/3365438.3410949.