@TECHREPORT{fsl05aris-tr,
  AUTHOR =       "E. Zadok and S. Callanan and R. Grosu and A. Rai and S. Smolka and M. R. True",
  TITLE =        "Runtime Verification for High-Confidence {OS} Kernels: A {Monte} {Carlo} Approach",
  INSTITUTION =  "Computer Science Department, Stony Brook University",
  YEAR =         "2005",
  MONTH =        "November",
  NUMBER =       "FSL-05-02",
}