SParK: Safety Partition Kernel for Integrated Real-Time Systems. - S. Ghaisas; Gopinath Karmakar; D. Shenai; S. Tirodkar; Krithi Ramamritham (From Active Data Management to Event-Based Systems and More, 2010)