Modeling Time in Computing by Carlo A. Furia & Matteo Rossi