ACM transactions on cyber-physical systems