Formalizing Complex Event Processing Systems in Maude | Publicación