ГУРОВ, В. С.; МАЗИН, М. А.; ШАЛЫТО, А. А. Автоматическое завершение ввода условий в диаграммах состояний. Информационно-управляющие системы, n. 1, p. 24-33, 20 fev. 2008.