С. Харченко, «Генерация компонент программного обеспечения системы управления по формальному описанию их моделей поведения и ограничений», EEJET, т. 2, вип. 3(44), с. 33–36, Квіт 2010.