A New Kernel Approach for Modular Real-Time Systems Development. - Paolo Gai; Luca Abeni; Massimiliano Giorgi; Giorgio C. Buttazzo (ECRTS, 2001)