Runtime Verification - Jyotirmoy Deshmukh, Dejan Ni?kovi? (Springer, 2020)