Runtime Verification - Lahiri, Shuvendu (Springer International Publishing, 2020)