Encoding and Verification of a Computer-Interpretable Guideline: A Case Study of Pressure-Ulcer Management. Issue 1 (March 2015)