How Model-Based Development Is Transforming Manufacturing Execution