Improving Design Productivity and Quality with Specification Automation