selected publications conference paper The PANDA system architecture-a pico-kernel approach. . 2002 Meeting the application in user space. . 1994