Stream runtime verification of real-time event streams with the Striver language | Publicación