Global EDF-based scheduling with laxity-driven priority promotion. - Kato, Shinpei; Yamasaki, Nobuyuki (J. Syst. Archit., 2011)