Multi-granularity Modeling of Variable Structured Rocket based on Declarative Language. - Wanmeng Zhou; Hua Wang; Fuyu Sun; Haiyang Li (SIMULTECH, 2015)