Retroactive Parametrized Monitoring | Publicación