Englisch ⇄ Russisch +

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