Modeling Time in Computing - Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi ((Monographs in Theoretical Computer Science. An EATCS Series))