The cyclefree methodology: a simple approach to building reliable, robust, real-time systems.

Dick Mays, Richard J. LeBlanc

Browse the full ICSE paper archive.