Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements