Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. “Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic”. In: Advances in Temporal Logic. Ed. by Howard Barringer, Michael Fisher, Dov Gabbay, and Graham Gough. Vol. 16. Applied Logic Series. Springer Verlag, 2000, pp. 435–453. isbn: 978-90-481-5389-3. url: http://dx.doi.org/10.1007/978-94-015-9586-5_22.
Antonio Cau, Helge Janicke, and Ben Moszkowski. “Verification and enforcement of access control policies”. In: Formal Methods in System Design 43.3 (2013). Download pdf , pp. 450–492. issn: 0925-9856. url: http://dx.doi.org/10.1007/s10703-013-0187-3.
Rodolfo Gomez and Howard Bowman. “PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic”. In: Journal of Applied Non-Classical Logics 14.1–2 (2004), pp. 105–148. url: http://dx.doi.org/10.3166/jancl.14.105-148.
Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems - specification. Springer, 1992, pp. I–XIV, 1–427. isbn: 978-3-540-97664-6.
Ben Moszkowski. “A Hierarchical Analysis of Propositional Temporal Logic based on Intervals”. In: We Will Show Them: Essays in Honour of Dov Gabbay. Ed. by Sergei Artemov, Howard Barringer, Artur S. d’Avila Garcez, Luis C. Lamb, and John Woods. Vol. 2. King’s College, London: College Publications (formerly KCL Publications), 2005, pp. 371–440. isbn: 1-904987-12-5.