[1] J. Allen (1983): Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11), pp. 832-843, doi:10.1145/182.358434.

[2] J. R. Bu¨chi & L. H. Landweber (1990): Solving Sequential Conditions by Finite-State Strategies. In S. Mac Lane & D. Siefkes, editors: The Collected Works of J. R. Bu¨chi, Springer New York, pp. 525-541, doi:10.2307/1994916.

[3] A. Church (1957): Applications of recursive arithmetic to the problem of circuit synthesis. In: Summaries of the Summer Institute of Symbolic Logic, Volume I, Cornell Univ., Ithaca, N.Y., pp. 3-50, doi:10.2307/2271310.

[4] T. French, J. C. McCabe-Dansted & M. Reynolds (2012): Synthesis for Temporal Logic over the Reals. In: Proc. of the 9th AiML, pp. 217-238.

[5] J. Halpern & Y. Shoham (1991): A propositional modal logic of time intervals. Journal of the ACM 38(4), pp. 935-962, doi:10.1145/115234.115351.

[6] Z. Manna & P. Wolper (1984): Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 6(1), pp. 68-93, doi:10.1145/357233.357237.

[7] M. L. Minsky (1967): Computation: Finite and Infinite Machines. Prentice-Hall, Inc., NJ, USA.

[8] A. Montanari, G. Puppis & P. Sala (2010): Maximal decidable fragments of Halpern and Shoham's modal logic of intervals. In: Proc. of the 37th ICALP - Part II, LNCS 6199, pp. 345-356, doi:10.1007/978-3-642- 14162-1 29.

[9] A. Montanari, G. Puppis, P. Sala & G. Sciavicco (2010): Decidability of the Interval Temporal Logic ABB¯ on Natural Numbers. In: Proc. of the 27th STACS, pp. 597-608, doi:10.4230/LIPIcs.STACS.2010.2488.

[10] A. Montanari & P. Sala (2013): Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. In: Proc. of the 28th LICS, IEEE, pp. 193-202, doi:10.1109/LICS.2013.25.