Text this: Автоматизированное проектирование распределённых систем реального времени