Model-Driven Software Development of Safety-Critical Avionics Systems: an Experience Report. - Aram Hovsepyan; Dimitri Van Landuyt; Steven Op de beeck; Sam Michiels; Wouter Joosen; Gustavo Rangel; Javier Fernandez Briones; Jan Depauw (MD2P2@MoDELS, 2014)