Modeling time in computing - Furia, Carlo A. (Springer, 2012)