A Graph-Theoretic Approach for Timing Analysis and its Implementation
This paper presents a graph-theoretic algorithm for safety analysis of a class of timing properties in real-time systems which are expressible in a subset of real time logic (RT...