Experiences with Group Communication Middleware. - Scott Johnson 002; Farnam Jahanian; Sunondo Ghosh; Brian Van Voorst; Nicholas Weininger (DSN, 2000)

Verification of time partitioning in the DEOS scheduler kernel. - John Penix; Willem Visser; Eric Engstrom; Aaron Larson; Nicholas Weininger (ICSE, 2000)

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. - Nicholas Weininger; Darren D. Cofer (SPIN, 2000)

Verifying Time Partitioning in the DEOS Scheduling Kernel. - John Penix; Willem Visser; Seungjoon Park; Corina S. Pasareanu; Eric Engstrom; Aaron Larson; Nicholas Weininger (Formal Methods Syst. Des., 2005)