Model Based Development of Embedded Safety Critical Systems Duration: 19/12/2018 - 18/12/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.