Generating Qualifiable Avionics Software: An Experience Report (E). - Andreas Wölfl; Norbert Siegmund; Sven Apel; Harald Kosch; Johann Krautlager; Guillermo Weber-Urbina (ASE, 2015)