ЕГОРОВ, К. В.; ШАЛЫТО, А. А. Методика верификации автоматных программ. Информационно-управляющие системы, n. 5, p. 15-21, 20 out. 2008.