Hybrid I/O automata

This publication has 38 references indexed in Scilit:

• Reactive modules
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Compositional Refinement for Hierarchical Hybrid Systems
  Published by Springer Nature ,2001
• Analyzing and synthesizing hybrid control systems
  Published by Springer Nature ,1998
• A toolbox for proving and maintaining hybrid specifications
  Published by Springer Nature ,1997
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Verification of an audio control protocol
  Published by Springer Nature ,1994
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989