Tenório, L., & 		Meira, S.
2012 nov  5.  JingleOS: An Operating System to Embedded Devices with Language-Based Protection. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :