@INPROCEEDINGS{callanan06runtime,
  AUTHOR =       "S. Callanan and R. Grosu and A. Rai and S. A. Smolka and M. R. True and E. Zadok",
  TITLE =        "Runtime Verification for High-Confidence Systems: A {Monte} {Carlo} Approach",
  BOOKTITLE =    "Proceedings of the Second Workshop on Model Based Testing (MBT 2006), held in conjunction with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)",
  YEAR =         "2006",
  MONTH =        "March",
  ADDRESS =      "Vienna, Austria",
  PAGES =        "41--53",
}