Observation Strategies for Event Detection, with Incidence on Runtime Verification

by Marco Alberti , Luís Moniz Pereira