Tenório, L., & 		Meira, S.
(2012).
 JingleOS: An Operating System to Embedded Devices with Language-Based Protection.
In <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 31-36). Porto Alegre: SBC.