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