@article{Kuz_LGH_07, abstractlink = {/publications/papers/Kuz_LGH_07.abstract.pml}, author = {Ihor Kuz and Yan Liu and Ian Gorton and Gernot Heiser}, doi = {10.1016/j.jss.2006.08.039}, journal = {Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems}, month = may, number = {5}, pages = {687--699}, paperurl = {http://dx.doi.org/10.1016/j.jss.2006.08.039}, title = {{CAmkES}: A component model for secure microkernel-based embedded systems}, volume = {80}, year = {2007} }