Formalization and assessment of regulatory requirements for safety-critical software