Model Checking for a Probabilistic Branching Time Logic with Fairness – Christel Baier and Marta Kwiatkowska Published 1998