Synchronous and asynchronous stream runtime verification | Publicación