@InCollection{BK98a,
  author = 	 {C.~Baier and M.Z.~Kwiatkowska},
  title = 	 {On the
    Verification of Qualitative Properties of Probabilistic Processes
    under Fairness Constraints},
  booktitle = 	 {Information Processing Letters},
  pages =	 {71-79},
  year =	 1998,
  volume =	 66,
  number =	 2
}