Tenório, L., & 		Meira, S.
(2012).
 JingleOS: An Operating System to Embedded Devices with Language-Based Protection.
In <em>Proceedings of the 1st Brazilian Symposium on Computing Systems Engineering</em>, (pp. 31-36). Porto Alegre: SBC.