Runtime Verification for Timed Event Streams with Partial Information | Publicación