Runtime Verification - Colombo; Martin Leucker; Leucker, Martin (Springer International Publishing, 2018)