Enviar Registro por Correo electrónico: Dependable computing - EDCC 2020 workshops :