1. S. Demri, R. Lazić, D. Nowak, On the freeze quantifier in constraint LTL: decidability and complexity, in: 12th Int. Symp. Temporal Representation and Reasoning (TIME), IEEE, 2005, pp. 113–121.
2. P. Schnoebelen, The complexity of temporal logic model checking, in: AiML’02, vol. 4 of Advances in Modal Logic, King’s College, 2003, pp. 393–436.
3. Introduction to Constraint Databases;Revesz,2002
4. A theory of timed automata;Alur;Theoretical Comput. Sci.,1994
5. Reversal-bounded multicounter machines and their decision problems;Ibarra;J. ACM,1978