{Linking Clinical Guidelines with Formal Representations}