英语 ⇄ 俄语 +

guaranteeing the correctness of a complex real-time system 强调
编程	обеспечение корректности сложных систем реального времени (ssn)