Formalization and Validation of Safety-Critical Requirements