L. Tenório and S. Meira.
" 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>, Natal/RN, 2012, pp. 31-36.