Лукин, М.А. и Шалыто, А.А. 2013. Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы. 5 (окт. 2013), 3–50.