Integration of structured analysis and timed statecharts for real-time and concurrency specification

This publication has 12 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Semantics of Modechart in real time logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Semantically extended dataflow diagrams: a formal specification tool
  IEEE Transactions on Software Engineering, 1992
• Specifying real-time properties with metric temporal logic
  Real-Time Systems, 1990
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• An extended systems modeling language (ESML)
  ACM SIGSOFT Software Engineering Notes, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980