Runtime Verification - Deshmukh; Ničković, Dejan (Springer International Publishing, 2020)