Masaccio: A Formal Model for Embedded Components

This publication has 10 references indexed in Scilit:

• Modular refinement of hierarchic reactive machines
  Published by Association for Computing Machinery (ACM) ,2000
• Modular Specification of Hybrid Systems in Charon
  Published by Springer Nature ,2000
• Reactive Modules
  Formal Methods in System Design, 1999
• Real-time system = discrete system + clock variables
  International Journal on Software Tools for Technology Transfer, 1997
• Modularity for timed and hybrid systems
  Published by Springer Nature ,1997
• Hybrid I/O automata
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987