Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications.

Douglas A. Stuart, Paul C. Clements

Browse the full RTSS paper archive.