A Practical Approach to Runtime Verification. - Raik Hipler; Hannes Kallwies; Martin Leucker; Kevin Gillian van Dommele; Jannis Wien (RV, 2025)