2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)