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