Лукин, М. А., & Шалыто, А. А. (2013). Разработка и автоматическая верификация параллельных автоматных программ. Информационно-управляющие системы, (5), 3–50. извлечено от https://i-us.ru/index.php/ius/article/view/13674