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