A brief account of runtime verification,” (2009)

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