DayStar: Modeling and test results of a balloon-borne daytime star tracker | IEEE Conference Publication | IEEE Xplore