@Article{BK98b,
  author = 	 {C.~Baier and M.Z.~Kwiatkowska},
  title = 	 {Model Checking
      for a Probabilistic Branching Time Logic with Fairness},
  journal = 	 {Distributed Computing},
  year = 	 1998,
  volume =	 11,
  number =	 3,
  pages =	 {125-155}
}