Application and Evaluation in the Avionics Domain. - Ottmar Bender; Martin Hiller; Maurice Girod; Carsten Strobel; Martin Waßmuth; Laurent Dieudonné (Model-Based Engineering of Embedded Systems, 2012)