Computation-Aware Algorithmic Design for Cyber-Physical Systems, Fachbücher von Ricardo G. Sanfelice, Maria Prandini