Computing accumulated delays in real-time systems

This publication has 12 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Quantitative temporal reasoning
  Published by Springer Nature ,2005
• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Minimum and maximum delay problems in realtime systems
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991
• The benefits of relaxing punctuality
  Published by Association for Computing Machinery (ACM) ,1991
• Timing assumptions and verification of finite-state concurrent systems
  Published by Springer Nature ,1990
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986