HIT academician Xibin Cao’s research team: Dynamic verification of space missions via flexible model-based co-simulation with systems modeling language and spacesim – eurekalert.org