@article{huang11software,
author="Xiaowan Huang and Justin Seyster and Sean Callanan and Ketan Dixit
  and Radu Grosu and Scott A. Smolka and Scott D. Stoller and Erez Zadok",
title="Software Monitoring with Controllable Overhead",
journal="International Journal on Software Tools for Technology Transfer",
year=2011
}