Space Interferometry Mission instrument model and astrometric performance validation | IEEE Journals & Magazine | IEEE Xplore