Todd Carpenter Kevin Driscoll Ken Hoyme Jim Carciofini ARINC 659 Scheduling: Problem Definition. 165-169 1994 conf/rtss/1994 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1994.html#CarpenterDHC94