Английский ⇄ Русский +

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