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