Test Execution Control Tool: automating testing in spacecraft integration and test environments | IEEE Conference Publication | IEEE Xplore