Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. - Karima Berramla; El Abbassia Deba; Mohamed El Kamel; Abou El Hassen (NISS, 2019)