ЛУКИН, М. А.; ШАЛЫТО, А. А. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы, n. 5, p. 3–50, 18 out. 2013.