Adaptive Runtime Verification. - Ezio Bartocci; Radu Grosu; Atul Karmarkar; Scott A. Smolka; Scott D. Stoller; Erez Zadok; Justin Seyster (RV, 2012)