A formal approach to the analysis of clinical computer-interpretable guideline modeling languages · Study