Acm Transactions on Cyber-Physical Systems | Revista