ПрограммированиеRapid Prototyping Software for Avionics Systems. Model-oriented Approaches for Complex Systems CertificationNicolas Larrieu, Antoine Varet