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