Unifying the Time-Event Spectrum for Stream Runtime Verification | Publicación