Email Record: Cyber physical systems. Design, modeling, and evaluation :