{Improving Medical Protocols by Formal Methods}