[Resumen] Actualmente, las aplicaciones embebidas se consideran de complejidad creciente y, como consecuencia, de mayor dificultad para su desarrollo y validación. Debido a estas características, existe un gran interés en ...