An environment for the integration and test of the Space Station distributed avionics systems | IEEE Journals & Magazine | IEEE Xplore