Runtime Verification - Lahiri; Reger, Giles (Springer International Publishing, 2017)