Zinix - A Function-Modularized Kernel for Multiprocessor Embedded Systems. - Jing Chen; Lian-Jou Tsai; Wen-Bin Hung; Jian-Hong Liu (GreenCom/CPSCom, 2010)