@article{rosu-havelund-2005-jase, author = {Grigore Rosu and Klaus Havelund}, title = {Rewriting-Based Techniques for Runtime Verification.}, journal = {Automated Software Engineering}, volume = {12}, number = {2}, year = {2005}, pages = {151-197}, ee = {http://dx.doi.org/10.1007/s10515-005-6205-y} }