HLola: a Very Functional Tool for Extensible Stream Runtime Verification | Publicación