А. Шкиль, Э. Кулак, і А. Серокурова, «ДИАГНОСТИРОВАНИЕ HDL-МОДЕЛЕЙ МИКРОПРОГРАММНЫХ АВТОМАТОВ», АСУ та прилади автоматики, вип. 172, с. 22–31, Вер 2015.