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