An operational algorithm for satellite attitude determination from GPS carrier phase | IEEE Conference Publication | IEEE Xplore