Харченко, С. «Генерация компонент программного обеспечения системы управления по формальному описанию их моделей поведения и ограничений». Eastern-European Journal of Enterprise Technologies, т. 2, вип. 3(44), Квітень 2010, с. 33-36, doi:10.15587/1729-4061.2010.2635.