ATV Jules Verne reentry observation: Mission design and trajectory analysis | IEEE Conference Publication | IEEE Xplore