Runtime Verification - Christian Colombo, Gordon J. Pace (Springer, 2022)