Colombo C. Runtime Verification.A Hands-On Approach in Java 2022