Ground testing of flight software: Dynamically configurable hardware-in-the-loop simulation of the alpha magnetic spectrometer | IEEE Conference Publication | IEEE Xplore