Runtime Verification - Shuvendu Lahiri, Giles Reger (Springer, 2017)