Design-driven Development of Dependable Applications - A Case Study in Avionics. - Quentin Enard; Stéphanie Gatti; Julien Bruneau 001; Youg-Joo Moon; Emilie Balland; Charles Consel (PECCS, 2013)