Mode-automata: About modes and states for reactive systems

This publication has 9 references indexed in Scilit:

• Operational and compositional semantics of synchronous automaton compositions
  Published by Springer Nature ,2006
• SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verification of Real-Time Systems using Linear Relation Analysis
  Formal Methods in System Design, 1997
• Real-time mode-machines
  Published by Springer Nature ,1996
• Compiling Argos into Boolean equations
  Published by Springer Nature ,1996
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987