Runtime verification of real-time event streams using the tool HStriver | Publicación