Editando la especificación en la herramienta para añadir módulos de protección desvinculados de la lógica de entrada.