Visible to the public SCADE 6: A Model-Based Development Environment to meet Strong Certification Objectives while Reducing Costs