Email Record: Design automation of cyber-physical systems /