@ARTICLE{interaspect-journal,
  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 =        "{InterAspect}: Aspect-Oriented Instrumentation with {GCC}",
  JOURNAL =      "Formal Methods in System Design",
  MONTH =        "August",
  YEAR =         "2012",
  PUBLISHER =    "Springer",
  URL =          "\url{http://link.springer.com/article/10.1007/s10703-012-0171-3}",
}