"Probabilistic temporal logics via the modal mu-calculus."

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics