О верификации простых автоматных программ на основе метода Model Checking - Вельдер, Сергей Эдуардович; Шалыто, Анатолий Абрамович (Информационно-управляющие системы, 2007)