Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. - Morteza Yousef Sanati; Wendy MacCaull; T. S. E. Maibaum (FM, 2014)