A scripting framework for automated flight SW testing: Van Allen Probes lessons learned | IEEE Conference Publication | IEEE Xplore