Formulation of discovery-class mission concepts | IEEE Journals & Magazine | IEEE Xplore