Real-time mode-machines

This publication has 6 references indexed in Scilit:

• Real-time mode-machines
  Published by Springer Nature ,1996
• Applying new scheduling theory to static priority pre-emptive scheduling
  Software Engineering Journal, 1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Finite state machines for real-time software engineering
  Computing & Control Engineering Journal, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• The Mascot method
  Software Engineering Journal, 1986