Zaslať SMS: Teoretické základy automatizácie konštruovania