Email Record: Cyber physical systems. Model-based design :