Runtime Verification - Bonakdarpour (Springer International Publishing, 2014)