Verifying Functional, Safety and Security Requirements (for Standards Compliance)