Runtime Verification - Bartocci; Majumdar, Rupak (Springer International Publishing, 2015)