אנגלית ⇄ רוסית +

development and verification tools for safety- and mission-critical systems מתח
.תִכנו	инструментальные средства разработки и верификации систем жёсткого реального времени с особыми требованиями по технической безопасности (корпорации AdaCore Alex_Odeychuk)