Model-based development of cyber-physical systems