%0 Thesis %T Bounded monitor : placement in normative environments %U http://tede2.pucrs.br/tede2/handle/tede/8103 %I Pontifícia Universidade Católica do Rio Grande do Sul