Modeling and Verification of Real-time Systems | Russian regulatory documents in English. Russian Norms.