Para obter o arquivo .dex do relé, vc deve clicar com o botão direito sobre o objeto do relé que vc está utilizando, e selecionar a opção Export device. A tela abaixo aparecerá e vc deve selecionar a extensão *.dex para que o arquivo seja exportado. Após a conversão do arquivo aparecerá a mensagem abaixo confirmando o procedimento e indicando o local aonde está o arquivo.