Resource Scheduling in Dependable Integrated Modular Avionics. - Yann-Hang Lee; Daeyoung Kim 001; Mohamed F. Younis; Jeffrey X. Zhou; James McElroy (DSN, 2000)