A mathematical model for assessing the probability of contaminating Europa | IEEE Conference Publication | IEEE Xplore