[74]   J. Bowen, editor. Towards Verified Systems. Elsevier Science B.V. (North–Holland), Amsterdam, 1994. About the SAFEMOS project.

[75]   J. Bowen, He Jifeng, Roger Hale, and John Herbert. Towards verified systems: The safemos project. In C. Mitchell and V. Stavridou, editors, The Mathematics of Dependable Systems, The Institute of Mathematics and its Applications Conference Series, Oxford, 1995. Oxford University Press.

[76]   H. Bowman, H. Cameron, P. King, and S. Thompson. Mexitl: Multimedia in Executable Interval Temporal Logic. Technical Report 3-97, Computing Laboratory, University of Kent at Canterbury, May 1997.

[77]   H. Bowman, H. Cameron, P. King, and S. Thompson. Specification and prototyping of structured multimedia documents using Interval Temporal Logic. In International Conference on Temporal Logic, Applied Logic Series. Kluwer Academic Publishers, July 1997.

[78]   H. Bowman and S. J. Thompson. A tableaux method for Interval Temporal Logic with projection. In TABLEAUX’98, International Conference on Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in AI, pages 108–123. Springer Verlag, May 1998.

[79]   XiaoShan Li. Formal semantics of Verilog HDL. In CDROM: Proceedings of the Second Forum on Design Languages (FDL ’99), pages 127–136, Lyon, France, Aug. 30 – Sep. 3 1999. ECSI Verlag, Gières. August 30 - September 3, 1999, Ecole Normale Supérieure de Lyon, Lyon, France.

[80]   XiaoShan Li. Specification and simulation of a concurrent real-time system. In IEEE Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, pages 197–204, Los Angeles, California, May 1999. IEEE Computer Society.

[81]   H. Bowman and S. J. Thompson. A complete axiomatization of Interval Temporal Logic with projection. Technical Report 6-00, Computing Laboratory, University of Kent, Canterbury, Great Britain, January 2000.

[82]   H. Bowman and S. J. Thompson. A decision procedure and complete axiomatization of finite Interval Temporal Logic with projection. Journal of Logic and Computation, 13(2):195–239, April 2003.

[83]   S. M. Brien. A relational calculus of intervals. Master’s thesis, Programming Research Group, Oxford University, 12 1990.

[84]   R. Buessow and W. Grieskamp. Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In Advances in Computing Science - ASIAN ’97, volume 1345 of LNCS, pages 46–56, 1997.

[85]   Z. Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269–276, 1991.

[86]   Z. Chaochen and M. R. Hansen. Duration Calculus: A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science (An EATCS series). Springer Verlag, 2004.

[87]   H. Cameron, P. King, H. Bowman, and S. Thompson. Synchronization in multimedia documents. In R.D. Hersch, J. Andr/’e, and H. Brown, editors, Electronic Publishing, Artistic Imaging, and Digital Typography: 7th International Conference on Electronic Publishing (EP’98), volume 1375 of LNCS, Berlin, 1998. Springer Verlag.

[88]   L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, and Y. S. Ramakrishna. A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology, 3(2):131–165, April 1994.

[89]   R. D. Dowsing and R. Elliot. A higher level of behaviorial specification: An example in interval temporal logic. In Microprocessing and Microprogramming (Proceedings of EUROMICRO ’91), volume 32, pages 517–524, 1991.

[90]   R. Dowsing, E. Elliot, and I. Marshall. Automated technique for high-level circuit synthesis from temporal logic specifications. IEE Proceedings–Computers and Digital Techniques, 141(3):145–152, May 1994.

[91]   Z. H. Duan. An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming. PhD thesis, Dept. of Computing Science, University of Newcastle Upon Tyne, May 1996. Technical report 556.

[92]   Z. Duan, M. Koutny, and C. Holt. Projection in temporal logic programming. In Frank Pfenning, editor, Proc. of Logic Programming and Automated Reasoning (LPAR ’94), volume 822 of LNCS, pages 333–344, Berlin, 1994. Springer Verlag.

[93]   Z. Duan and M. Koutny. A framed temporal logic programming language. Journal of Computer Science and Technology, 19(3):341–351, 2004.

[94]   B. Dutertre. On first order interval temporal logic. Technical Report CSD-TR-94-3, Dept. of Computer Science, Royal Holloway, University of London, Egham, Surrey TW20 0EX, England, 1994.

[95]   B. Dutertre. Complete proof systems for first order interval temporal logic. In Proc. of the 10th Annual IEEE Symposium on Logic in Computer Science, pages 36–43, Los Alamitos, Calif., USA, June 1995. IEEE Computer Society Press.

[96]   R. Elliot. An exercise in formally based circuit synthesis from a behavioural specification in Interval Temporal Logic. In Proc. EUROMICRO ’94, 1994.

[97]   M. Fujita, S. Kono, and H. Tanaka. Aid to Hierarchical and Structured Logic Design Using Temporal Logic and Prolog. In Prodeedings.Pt.E, pages 283–294. IEE, 1986.

[98]   M. Fujita, S. Kono, H. Tanaka, and T. Moto-Oka. Tokio: Logic programming language based on temporal logic and its compilation to Prolog. In Proc.  3rd Int’l. Conf. on Logic Programming, volume 225 of LNCS, pages 695–709, Berlin, 1986. Springer-Verlag.

[99]   M. Fujita, M. Ishisone, H. Nakamura, H. Tanaka, and T. Mto-oka. Using the temporal logic programming language tokio for algorithm description and automatic cmos gate array synthesis. In Eiiti Wada, editor, Logic Programming ’85, volume 221 of LNCS, pages 246–255, Berlin, 1986. Springer Verlag.

[100]   M. Fujita and S. Kono. Synthesis of controllers from Interval Temporal Logic specification. International Workshop on Logic Synthesis, 1993.

[101]   M. Fujita and S. Kono. Synthesis of controllers from Interval Temporal Logic specification. In International Conference on Computer Design: VLSI in Computers and Processors. IEEE Computer Society Press, 1993.

[102]   R. Gomez and H. Bowman. PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics, 14(1–2):105–148, 2004. Special issue on Interval Temporal Logics and Duration Calculi. V. Goranko and A. Montanari guest eds.

[103]   V. Goranko and A. Montanari, editors. Special issue on Interval Temporal Logics and Duration Calculi, volume 14 of Journal of Applied Non-Classical Logics. Lavoisier, 2004.

[104]   W. Grieskamp and M. Lepper. Encoding temporal logics in executable Z: A case study for the ZETA system. In Logic for Programming and Automated Reasoning: Proc. 7th International Conference (LPAR 2000), volume 1955 of LNCS, pages 43–53, Reunion Island, France, November 2000. Springer Verlag.

[105]   D. P. Guelev and D. Van Hung. On the completeness and decidability of duration calculus with iteration. To appear in Theoretical Computer Science.

[106]   K. Hamaguchi, H. Hiraishi, and S. Yajima. Infinity-regular temporal logic and its model checking problem. Theoretical Computer Science, 103(2):191–204, 1992.

[107]   M. R. Hansen. Model-checking discrete duration calculus. Formal Aspects of Computing, 6(6A):826–845, 1994.

[108]   E. C. R. Hehner. Abstractions of time. In A. W. Roscoe, editor, A Classical Mind, chapter 12. Prentice-Hall Int’l., London, 1994.

[109]   T. A. Henzinger, Z. Manna, and A. Pnueli. Towards refining temporal specifications into hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems I, volume 736 of LNCS, pages 60–76. Springer-Verlag, 1993.

[110]   H. Hiraishi, K. Hamaguchi, H. Fujii, and S. Yajima. Regular temporal logic expressively equivalent to finite automata and its application to logic design verification. Journal of Information Processing, 15(1):129–138, 1992.

[111]   H. JiFeng and J. Bowen. Time interval semantics and implementation of a real-time programming language. In Proceedings of the 4-th Euromicro Workshop on Real-Time Systems, pages 110–115. IEEE Computer Society Press, 1992.

[112]   A. Kapur. Interval and Point-Based Approaches to Hybrid System Verification. PhD thesis, Dept. of Computer Science, Stanford University, September 1997. Technical report CS-TR-97-1594.

[113]   A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli. Proving safety properties of hybrid systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 431–454. Springer-Verlag, 1994. Uses Hybrid temporal logic.

[114]   D. Kilis, A. C. Esterline, and J. R. Slagle. Specification and verification of network protocols using executable temporal logic. In Proceedings of IFIP Congress ’89, pages 845–850, Amsterdam, 1989. North Holland Publishing Co.

[115]   S. Kono, T. Aoyagi, M. Fujita, and H. Tanaka. Implementation of Temporal Logic Programming Language Tokio. In Logic Programming Conference ’85, pages 138–147. ICOT, 1985.

[116]   S. Kono, T. Aoyagi, M. Fujita, and H. Tanaka. Implementation of Temporal Logic Programming Language Tokio. In Logic Programming ’85, volume LNCS-221. Springer-Verlag, 1985. Lecture Notes in Computer Science.

[117]   S. Kono, T. Aoyagi, M. Fujita, and H. Tanaka. Verification of Temporal Logic Programming Language Tokio. In Logic Programming Conference ’86, 1986. (in Japanese).

[118]   S. Kono. Automatic Verification of Interval Temporal Logic. In 8th British Colloquium For Theoretical Computer Science, 1992. version: 24-04-1994.

[119]   S. Kono. A Combination of Clausal and Non Clausal Temporal Logic Program. IJCAI-93 Workshop on Executable Modal and Temporal Logics, 1993.

[120]   S. Kono. A combination of clausal and non-clausal temporal logic programs. In Michael Fisher and Richard Owens, editors, Executable Modal and Temporal Logics, volume 897 of Lecture Notes in Artificial Intelligence, pages 40–57, Cambery, France, February 1995. Springer Verlag.

[121]   M. Leeser. Reasoning about the function and timing of integrated circuits with Interval Temporal Logic. IEEE Transactions on Computer-Aided Design, 8(12):1233–1246, December 1989.

[122]   R. W. Lichota. Evaluating Hardware Architectures for Real-Time Parallel Algorithms using Temporal Specifications. PhD thesis, Computer Science Department, University of California at Los Angeles, 1988.

[123]   K. Lodaya. Sharpening the undecidability of Interval Temporal Logic. In He Jifeng and Masahiko Sato, editors, Advances in Computing Science - ASIAN 2000: Proc. of Sixth Asian Computing Science Conference, volume 1961 of LNCS, Penang, Malaysia, November 2000. Springer Verlag.

[124]   R. Mattolini and P. Nesi. An interval logic for real-time system specification. Transactions on Software Engineering, IEEE, 27(3):208–227, March 2001.

[125]   M. J. Morley. Semantics of temporal e. In T. F. Melham and F. G. Moller, editors, Banff’99 Higher Order Workshop: Formal Methods in Computation, Ullapool, Scotland, 9–11 Sept. 1999, pages 138–142. University of Glasgow, Department of Computing Science Technical Report, 1999.

[126]   M. Müller-Olm. A modal fixpoint logic with chop. In Christoph Meinel and Sophie Tison, editors, Proc. 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS’99), volume 1563 of lncs, pages 510–520, Trier, Germany, MAR 1999. springer.

[127]   E.-R. Olderog and H. Dierks. REAL-TIME SYSTEMS: Formal Specification and Automatic Verification. Cambridge University Press, 2008.

[128]   B. Paech. Gentzen-systems for propositional temporal logics. In E. Börger, H. Kleine Büning, and M. M. Richter, editors, Proceedings of the 2nd Workshop on Computer Science Logic, Duisburg (FRG), volume 385 of LNCS, pages 240–253. Springer Verlag, October 1988.

[129]   Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith, and G. Kutty. An automata-theoretic decision procedure for future interval logic. In Proc. 12th FST& TCS, volume 652 of LNCS, pages 51–67. Springer Verlag, December 1992.

[130]   Y. S. Ramakrishna, P. M. Melliar-Smith, L. E. Moser, L. K. Dillon, and G. Kutty. Interval logics and their decision procedures. Part I: An interval logic. Theoretical Computer Science, 166(1–2):1–47, 20 October 1996. Fundamental study.

[131]   Y. S. Ramakrishna, P. M. Melliar-Smith, L. E. Moser, L. K. Dillon, and G. Kutty. Interval logics and their decision procedures. Part II: A real-time interval logic. Theoretical Computer Science, 170(1–2):1–46, 15 December 1996. Fundamental study.

[132]   T. M. Rasmussen. Signed interval logic. In Jörg Flum and Mario Rodríguez-Artalejo, editors, Computer Science Logic, 13th International Workshop, CSL ’99, 8th Annual Conference of the EACSL, volume 1683 of LNCS, pages 157–171, Berlin, 1999.

[133]   R. Rosner and A. Pnueli. A choppy logic. In First Annual IEEE Symposium on Logic in Computer Science, pages 306–313. IEEE Computer Society Press, June 1986.

[134]   A. R. Ruddle. Formal methods in the specification of real-time, safety-critical control systems. In J. P. Bowen and J. E. Nicholls, editors, Z User Workshop, London 1992, Workshops in Computing, pages 131–146. Springer Verlag, 1993.

[135]   R. L. Schwartz, P. M. Melliar-Smith, and F. H. Vogt. An interval logic for higher-level temporal reasoning. In Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 173–186, 1983.

[136]   Wang Hanpin and Xu Qiwen. Temporal logics over infinite intervals. Technical Report 158, UNU/IIST, Macau, 1999.

[137]   Wang Jianzhong, Xu Qiwen, and Ma Huadong. Modelling and verification of a network player system with DCValid. In T. H. Tse and T. Y. Chen, editors, Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2OOO), pages 44–49, Hong Kong, October 2000. IEEE Computer Society Press.