@INPROCEEDINGS{rv11stoller,
  AUTHOR =       "S. D. Stoller and E. Bartocci and J. Seyster and R. Grosu and K. Havelund and S. A. Smolka and E. Zadok",
  TITLE =        "Runtime verification with state estimation",
  BOOKTITLE =    "Proc. of the 2nd International Conference on Runtime Verification (RV'11)",
  YEAR =         "2011",
  MONTH =        "September",
  ADDRESS =      "San Fransisco, CA",
  NOTE =         "({\bf Won best paper award})",
}