@InProceedings{BE99,
  author = 	 {C.~Baier and B.~Engelen},
  title = 	 {Establishing
      Qualitative Properties for Probabilistic Lossy Channel Systems:
      an Algorithmic Approach},
  booktitle = 	 {Proc. 5th International AMAST
      Workshop on Real-Time and Probabilistic Systems (ARTS'99)},
  pages =	 {34-52},
  year =	 1999,
  volume =	 1601,
  series =	 {Lecture Notes in Computer Science}
}