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