Renaldi, F., 		Tavares, A., & 		Mattos, M.
(2008).
 GENOS-OS: A base operating system for building embedded systems.
In <em>Proceedings of the 5th Workshop on Operating Systems</em>, (pp. 179-188). Porto Alegre: SBC.