Compositional Refinement for Hierarchical Hybrid Systems

This publication has 11 references indexed in Scilit:

• Modular refinement of hierarchic reactive machines
  Published by Association for Computing Machinery (ACM) ,2000
• Masaccio: A Formal Model for Embedded Components
  Published by Springer Nature ,2000
• Modular Specification of Hybrid Systems in Charon
  Published by Springer Nature ,2000
• A modular visual model for hybrid systems
  Published by Springer Nature ,1998
• Modularity for timed and hybrid systems
  Published by Springer Nature ,1997
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980