HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams | Publicación