@ARTICLE{smco,
  AUTHOR =       "X. Huang and J. Seyster and S. Callanan and K. Dixit and R. Grosu and S. A. Smolka and S. D. Stoller and E. Zadok",
  TITLE =        "Software Monitoring with Controllable Overhead",
  JOURNAL =      "International Journal on Software Tools for Technology Transfer (STTT)",
  VOLUME =       "14",
  NUMBER =       "3",
  YEAR =         "2012",
  PAGES =        "327--347",
  PUBLISHER =    "Springer",
}