A methodology for monitor development in concurrent programs | Publicación