@Article{BK98,
author={C. Baier and M. Kwiatkowska},
title={Model Checking for a Probabilistic Branching Time Logic with Fairness},
journal={Distributed Computing},
year={1998},

volume={11},
number={3},
pages={125--155},
month={},
note={},
key={}
}