Model-Based Design of Safety-Critical Avionics Systems (Highlights)