Models for reactivity

This publication has 20 references indexed in Scilit:

• Explicit clock temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Sooner is safer than later
  Information Processing Letters, 1992
• Timed and Hybrid Statecharts and their textual representation
  Published by Springer Nature ,1992
• Timed transition systems
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Examples of a real-time temporal logic specification
  Published by Springer Nature ,1985
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975