The GIRE2 model and its application to the Europa mission | IEEE Conference Publication | IEEE Xplore