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

real-time temporal logic מתח
.תִכנו	темпоральная логика реального времени (ssn)