Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification - Larrieu, Nicolas; Varet, Antoine (ISTE, Ltd ; John Wiley & Sons, 2014)