A model based approach to design for reliability and safety of critical aeronautic systems