A brief account of runtime verification (2009)

by M Leucker, C Schallhart
Venue:Journal of Logic and Algebraic Programming