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