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