Russian regulatory documents in English. Russian Norms.

SAE/TP 2011-01-2531 (PDF) Integrating Formal Model Checking with the RTEdge AADL Microkernel

whitebackgroundstudio