From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. - Nesrine Darragi; El-Miloudi El-Koursi; Simon Collart Dutilleul (WODES, 2014)