@InProceedings{JPQ05,
  author = 	 {Jurdzi{\'n}ski, M. and Peled, D. and Qu, H.},
  title = 	 {Calculating Probabilities of Real-Time Test Cases},
  booktitle = 	 {FATES'05},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {???--???},
  year = 	 {2006},
  OPTeditor = 	 {},
  volume = 	 {3997},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  OPTnote = 	 {},
  OPTannote = 	 {}
}