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