Text this: Автоматизация проектирования и испытаний сложных систем