Tianshe Yang Zheng Xi Lida Xu Xiaoshe Dong YongXuan Huang Research on methods to simulate spacecraft systems. 3255-3259 2007 SMC http://dx.doi.org/10.1109/ICSMC.2007.4414170 conf/smc/2007 db/conf/smc/smc2007.html#YangXXDH07a