A Model Based Approach to Design for Reliability and Safety of Critical Aeronautic Systems. - Candida Stigliani; Davide Ferretto; Claudio Pessa; Eugenio Brusa (CIISE, 2016)