A framework for real-time discrete event control

This publication has 38 references indexed in Scilit:

• Specification of real-time systems in real-time temporal interval logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automated verification of timed transition models
  Published by Springer Nature ,1990
• Mechanizing the verification of real-time discrete systems
  Microprocessing and Microprogramming, 1989
• Temporal logic and extended state machines in discrete-event control
  Published by Springer Nature ,1988
• Interactive State-Space Analysis of Concurrent Systems
  IEEE Transactions on Software Engineering, 1987
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985
• Timed Petri nets and preliminary performance evaluation
  Published by Association for Computing Machinery (ACM) ,1980
• Toward a discipline of real-time programming
  Communications of the ACM, 1977
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976