Ihor Kuz Yan Liu Ian Gorton Gernot Heiser CAmkES: A component model for secure microkernel-based embedded systems. 687-699 2007 80 Journal of Systems and Software 5 http://dx.doi.org/10.1016/j.jss.2006.08.039 db/journals/jss/jss80.html#KuzLGH07