Verification of time partitioning in the DEOS scheduler kernel

Willem Visser
Eric Engstrom
Aaron Larson
Nicholas Weininger
ICSE (2000), pp. 488-497

Abstract