Runtime Verification - Christian Colombo, Martin Leucker (Springer, 2018)