Харченко, С.Л. «Генерация компонент программного обеспечения системы управления по формальному описанию их моделей поведения и ограничений». Eastern-European Journal of Enterprise Technologies 2, no. 3(44) (Квітень 6, 2010): 33–36. дата звернення Травень 25, 2024. https://journals.uran.ua/eejet/article/view/2635.