Design of inter process communication methodology in automatic spacecraft checkout environment | IEEE Conference Publication | IEEE Xplore