Safety Assurance System: Phase 2—Formal Application (SAS Business Process Modules 1 and 2)