@INPROCEEDINGS{interaspect,
  AUTHOR =       "J. Seyster and K. Dixit and X. Huang and R. Grosu and K. Havelund and S. A. Smolka and S. D. Stoller and E. Zadok",
  TITLE =        "Aspect-Oriented Instrumentation with {GCC}",
  BOOKTITLE =    "Proc. of the 1st International Conference on Runtime Verification (RV 2010)",
  SERIES =       "Lecture Notes in Computer Science",
  PUBLISHER =    "Springer",
  MONTH =        "November",
  YEAR =         "2010",
}