Foundations of Boolean Stream Runtime Verification | Publicación