Formalizing Model Transformations Within MDE. - Zhi Zhu; Yongling Lei; Qun Li 004; Yifan Zhu (SimuTools, 2019)

Engineering Semantic Composability Based on Ontological Metamodeling. - Zhi Zhu; Ning Zhu; Yongling Lei; Qun Li 006; Huabing Wang (SimuTools (1), 2020)