Boeken over On the application of formal methods to clinical guidelines