"Verification of Probabilistic Systems with Faulty Communication."

Parosh Aziz Abdulla, Alexander Moshe Rabinovich (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics