Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi Modeling Time in Computing: A Taxonomy and a Comparative Survey http://arxiv.org/abs/0807.4132 2008 CoRR abs/0807.4132 db/journals/corr/corr0807.html#abs-0807-4132 informal publication