Renaldi, F., 		Tavares, A., & 		Mattos, M.
2008 Jul 12.  GENOS-OS: A base operating system for building embedded systems. Proceedings of the Workshop on Operating Systems (WSO). [Online] :