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