A prototyping environment for specifying, executing and checking communicating real-time state machines

This publication has 11 references indexed in Scilit:

• Time bounds for real-time process control in the presence of timing uncertainty
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Monitoring timing constraints in distributed real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Communicating real-time state machines
  IEEE Transactions on Software Engineering, 1992
• Multilevel specification of real time systems
  Communications of the ACM, 1991
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Using statecharts for hardware description and synthesis
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
• A prototyping language for real-time software
  IEEE Transactions on Software Engineering, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• An Operational Approach to Requirements Specification for Embedded Systems
  IEEE Transactions on Software Engineering, 1982
• Communicating sequential processes
  Communications of the ACM, 1978