Runtime Verification - Bonakdarpour; Smolka, Scott A. (Springer International Publishing, 2014)