Grigore Rosu Klaus Havelund Rewriting-Based Techniques for Runtime Verification. 151-197 2005 12 Autom. Softw. Eng. 2 http://dx.doi.org/10.1007/s10515-005-6205-y db/journals/ase/ase12.html#RosuH05