@Article{Bodden:2010:CRB,
  author =       "Eric Bodden and Laurie Hendren and Patrick Lam and Ond\v{r}ej Lhot\'{a}k and Nomair A. Naeem",
  title =        "Collaborative Runtime Verification with Tracematches",
  journal =      "Journal of Logic and Computation",
  volume =       "20",
  number =       "3",
  year =         "2010",
  pages =        "707--723",
  publisher =    "Oxford Journals",
}