Reasoning about the Trends and Challenges of Engineering Design Automation