{Comparing Computer-Interpretable Guideline Models: A Case-Study Approach}