Вельдер, С. Э., и А. А. Шалыто. О верификации простых автоматных программ на основе метода Model Checking. Информационно-управляющие системы, вып. 3, June 2007, сс. 27-38, http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14670.