Model-Based Design for Automation Systems