Real-Time Systems: Scheduling Analysis and Verification | Russian regulatory documents in English. Russian Norms.