Model-Based Design Workflows for Cyber-Physical Systems Applied to an Electric-Mechanical Coolant Pump