Collaborative Runtime Verification with Tracematches. - Bodden, Eric; Hendren, Laurie; Lam, Patrick (Journal of Logic & Computation, 2010)