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