1. The power of temporal proofs;Abadi;Theoret. Comput. Sci.,1989
2. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
3. Real-time logics: complexity and expressiveness;Alur;Inform. and Comput.,1993
4. A really temporal logic;Alur;J. Assoc. Comput. Mach.,1994
5. Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning;Balbiani,2002