Ottmar Bender, Martin Hiller, Maurice Girod, Carsten Strobel, Martin Waßmuth, Laurent Dieudonné. Application and Evaluation in the Avionics Domain. In Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy, editors, Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology. pages 177-196, Springer, 2012. [doi]
Abstract is missing.