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

modeling with timed automata מתח
.תִכנו	моделирование временными автоматами (ssn)