A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software