Mario Bravetti Real Time and Stochastic Time. 132-180 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3185&spage=132 2004 conf/sfm/2004 SFM db/conf/sfm/sfm2004.html#Bravetti04