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