Observation strategies for event detection with incidence on runtime verification