Email Record: Verificación funcional de un controlador de memoria para un dispositivo médico implantable. /