Cyber-physical systems engineering: Model-based solutions