presented at event 11th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS) Conference