F. Jahanian and Al Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12(9), 890-904, September 1986.
author author author author author title title title title title title title title journal journal journal journal journal volume pages date date