Гуров, В. С.; Мазин, М. А.; Шалыто, А. А. Автоматическое завершение ввода условий в диаграммах состояний. ИУС 2008, 24-33.