A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude. - Messaoud Bendiaf; Mustapha Bourahla; Malika Boudia; Seidali Rehab (Int. J. Inf. Technol. Web Eng., 2017)

Formalization of Ontology Conceptualizations Using Model Transformation. - Malika Boudia; Mustapha Bourahla (Int. J. Inf. Syst. Model. Des., 2022)