Foundations of Boolean stream runtime verification | Publicación