Monitoring refinement via symbolic reasoning | Publicación