ACM transactions on cyber-physical systems (Association for Computing Machinery, Inc, 2017)