{A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening}