@article {30,
	title = {Reconciling real and stochastic time: the need for probabilistic refinement},
	journal = {Formal Aspects of Computing},
	volume = {24},
	year = {2012},
	pages = {497-518},
	doi = {10.1007/s00165-012-0230-y},
	author = {Jasen Markovski and Pedro R. D{\textquoteright}Argenio and Jos C. M. Baeten and Erik P. de Vink}
}