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