A framework for defining and verifying clinical guidelines: a case study on cancer screening