A model-based methodology for tool supported design of automated systemsMartin HufnerVypredanáPostrážiť