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