Bryce Cogswell Zary Segall MACS: A Predictable Architecture for Real Time Systems. 296-305 1991 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1991.html#CogswellS91