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