Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. - Zoughbi, Gregory; Briand, Lionel; Labiche, Yvan (Software & Systems Modeling, 2011)