Computation-Aware Algorithmic Design for Cyber-Physical Systems - Prandini, Maria; Sanfelice, Ricardo G. (Cham Springer International Publishing AG, 2024)