Radiation Belt Storm Probes (RBSP) Flight Software stress testing: Case study and lessons learned | IEEE Conference Publication | IEEE Xplore