On the application of formal methods to clinical guidelines by