Formalisation of product requirements: from natural language descriptions to formal specifications. - Zhen Yu Chen 001; Shengji Yao; Jian Qiang Lin; Yong Zeng 004; Armin Eberlein (Int. J. Manuf. Res., 2007)

Understanding design activities through computer simulation. - Yong Zeng 004; Shengji Yao (Adv. Eng. Informatics, 2009)