Model Based Development of Embedded Safety Critical Systems Duration: 12 months (2019) Principal investigator(s): Massimo Violante Contract type: Commercial contracts Structures DAUIN - Department of Control and Computer Engineering Partners TXT E-SOLUTION S.P.A.