"Approximate reasoning for real-time probabilistic processes."

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics