Model correlation for Mars Pathfinder entry, descent and landing simulation | IEEE Conference Publication | IEEE Xplore