Anglais ⇄ Russe +

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