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