@InProceedings{BCH99,
  author = 	 {C. Baier and E.~Clarke and V.~Hartonas-Garmhausen},
  title = 	 {On the Semantic Foundations of Probabilistic VERUS},
  booktitle = 	 {Proc. Workshop on Probabilistic Methods in Verification
      (PROBMIV'98)},
  year =	 1999,
  volume =	 21,
  series =	 {Electronic Notes in Theoretical Computer Science}
}