SysML static model conversion based on QVT-O. - Yongkang Ni; Yuandan Deng; Yanling Mao; Weiqin Chen 005 (EITCE, 2024)