Towards refining temporal specifications into hybrid systems

This publication has 10 references indexed in Scilit:

• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Sooner is safer than later
  Information Processing Letters, 1992
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• From ATP to timed graphs and hybrid systems
  Published by Springer Nature ,1992
• Timed transition systems
  Published by Springer Nature ,1992
• Logics and models of real time: A survey
  Published by Springer Nature ,1992
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Composing specifications
  Published by Springer Nature ,1990
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985