John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger. Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design, 26(2):103-135, 2005. [doi]
Abstract is missing.