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