Coping with implementation dependencies in real-time system verification

This publication has 4 references indexed in Scilit:

• Semantics of Modechart in real time logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
  IEEE Transactions on Computers, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973