Applying model-driven development to distributed real-time and embedded avionics systems