Aplicando Técnicas Conduzidas Por Modelo a Sistemas Incorporados