Improving medical protocols by formal methods | Publicación