Dongol, B.; Derrick, J.; Hayes, I. Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic. ECEASST 2013, 53.