I'm so curious what the navigation department for a place like NASA/JPL consists of. Each probe/satellites mission is so custom, do they have a software suite that they've refined over the last 50 years, is it a couple physics professors etc, are there two teams working independently to make sure no one messes up?