Efficient Control of AC Machines using Model-Based Development