The cyclefree methodology: a simple approach to building reliable, robust, real-time systems. - Dick Mays; Richard J. LeBlanc (ICSE, 2002)