Rapid Prototyping of Software for Avionics Systems.2014