Шкиль, А., Кулак, Э. і Серокурова, А. (2015) «ДИАГНОСТИРОВАНИЕ HDL-МОДЕЛЕЙ МИКРОПРОГРАММНЫХ АВТОМАТОВ», Автоматизовані системи управління та прилади автоматики, (172), с. 22–31. доступний у: https://asu-pa.nure.ua/article/view/351238 (дата звернення: 7Березень2026).