@TECHREPORT{fsl05kgcc-rpe,
  AUTHOR =       "A. Rai and E. Zadok",
  TITLE =        "On the Role of Static Analysis in Operating System Checking and Runtime Verification",
  INSTITUTION =  "Computer Science Department, Stony Brook University",
  YEAR =         "2005",
  MONTH =        "May",
  NUMBER =       "FSL-05-01",
  NOTE =         "\url{www.fsl.cs.sunysb.edu/docs/kgcc-rpe/kgcc.pdf}",
}