A model-based methodology for tool supported design of automated systemsMartin HufnerÉpuisé4,3Prévenez-moi