DO-178B Certification with Model-Based Design