Dang, Duc-Hanh, AND Nguyen, Thi-Hanh. " A Contract-Based Specification Method for Model Transformations" VNU Journal of Science: Computer Science and Communication Engineering [Online], (1 April 2023)