Safety Assurance System: Phase 2—Formal Application