书目详细信息 : Modeling,simulation,and verification of space-based systems III V.6221