Generalized discrete timed automata: decidable approximations for safety verification

This publication has 16 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• The design and analysis of real-time systems using the ASTRAL software development environment
  Computational Geosciences, 1999
• Specification of realtime systems using ASTRAL
  IEEE Transactions on Software Engineering, 1997
• New Decidability Results Concerning Two-Way Counter Machines
  SIAM Journal on Computing, 1995
• From timed automata to logic — and back
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A really temporal logic
  Journal of the ACM, 1994
• A formal framework for ASTRAL intralevel proof obligations
  IEEE Transactions on Software Engineering, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Reversal-Bounded Multicounter Machines and Their Decision Problems
  Journal of the ACM, 1978