CAmkES: A component model for secure microkernel-based embedded systems. - Kuz, Ihor; Liu, Yan; Gorton, Ian; Heiser, Gernot (J. Syst. Softw., 2007)