presented at event 19th International Conference on Runtime Verification (RV) as part of the 3rd World Congress on Formal Methods (FM) Conference