Modeling the space shuttle | IEEE Conference Publication | IEEE Xplore