Experiences in the Formalisation and Verification of Medical Protocols