Rapid prototyping software for avionics systems : model-oriented approaches for complex systems certification - Larrieu, Nicolas, (Focus Series,)