Runtime Verification : A Hands-On Approach in Java - Colombo, Christian; Pace, Gordon J. (Cham Springer International Publishing AG, 2022)