Pereira, Jorge, Daniel Oliveira, Sandro Pinto, Nuno Cardoso, Vitor Silva, Tiago Gomes, José Mendes, and Paulo Cardoso. " Co-Designed FreeRTOS Deployed on FPGA." Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais, Manaus/AM, 2014. SBC, 2014, pp.121-125.