Автоматическое завершение ввода условий в диаграммах состояний - Гуров, Вадим Сергеевич; Мазин, Максим Александрович; Шалыто, Анатолий Абрамович (Информационно-управляющие системы, 2008)