英语 ⇄ 俄语 +

State machine models are an integral part of real-time design methods 强调
编程	Модели конечных автоматов являются неотъемлемой частью методов проектирования систем реального времени (см. Software engineering, 8th ed. / Ian Sommerville 2007 ssn)