F. Renaldi, A. Tavares, and M. Mattos.
" GENOS-OS: A base operating system for building embedded systems", in <em>Proceedings of the 5th Workshop on Operating Systems</em>, Belém/PA, 2008, pp. 179-188.