Modeling time in computing (2007)

by C A Furia, D Mandrioli, A Morzenti, M Rossi