1. Decidable classes of the verification problem in a timed predicate logic;Beauquier,1999
2. Decidable verification for reducible timed automata specified in a first order logic with time;Beauquier;Theoretical Computer Science,2002
3. A first order logic for specification of timed algorithms: Basic properties and a decidable class;Beauquier;Annals of Pure and Applied Logic,2002
4. D. Beauquier, A. Slissenko, Periodicity based decidable classes, Technical Report, University Paris 12, Department of Informatics, 2004. Available at http://www.univ-paris12.fr/lacl
5. Model checking support for the asm high-level language;Del Castillo,2000