Modularity for timed and hybrid systems

This publication has 27 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
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic controller synthesis for discrete and timed systems
  Published by Springer Nature ,1995
• Local liveness for compositional modeling of fair reactive systems
  Published by Springer Nature ,1995
• Hybrid Systems II
  Published by Springer Nature ,1995
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988