@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)",
  YEAR =         "2011",
  PUBLISHER =    "Springer",
}