PTAL, ADAMM and SpectPro: novel tools to support ExoMars and Mars 2020 science operations | Publicación