Validating GPS software and implications for the future | IEEE Conference Publication | IEEE Xplore