1. Electrical Engineering Department, Technical University of Munich, Munich, Germany
2. School of Computing, Newcastle University, Newcastle upon Tyne, U.K.
3. Robert Bosch Center for Cyber-Physical Systems, Indian Institute of Science, Bangalore, India
4. Computer Science Department, University of Colorado Boulder, Boulder, CO, USA