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