Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study