%0 Thesis %T Development of an intellectual-property core to detect task scheduling errors in rtos-based embedded systems %U http://tede2.pucrs.br/tede2/handle/tede/10051 %I Pontifícia Universidade Católica do Rio Grande do Sul