Observer-based spacecraft attitude tracking with guaranteed performance bounds | IEEE Conference Publication | IEEE Xplore