Modeling Time in Computing - Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo (Springer Berlin Heidelberg : Imprint: Springer, 2012)