On the application of formal methods to clinical guidelines door