@TechReport{runtimeinvTR,
  title           = "Efficient Runtime Invariant Checking: A Framework
                     and Case Study",
  author          = "Michael Gorbovitski and Tom Rothamel and Yanhong
                     A. Liu and Scott D. Stoller",
  institution     = "Stony Brook University",
  year            = "2008"
}