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