Cyber-physical systems (CPSs) are physical and engineered systems believed to radically transform how we interact with the physical world. By tightly integrating computation, low-power wireless communication, and physical processes, these systems realize safety-critical control loops-with physical processes affecting computation and vice versa-in scenarios where traditional systems are hardly applicable. Potential CPS applications include healthcare,...