NASA/GSFC's Flight Software Core Flight System