J. Pereira <em>et al.</em>" Co-Designed FreeRTOS Deployed on FPGA", in <em>Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, Manaus/AM, 2014, pp. 121-125.