@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",
}