Applying SOFL to a Generic Insulin Pump Software Design. - Chung-Ling Ling; Wuwei Shen; Dionysios Kountanis (SOFL, 2012)

Using traceability links to identifying potentially erroneous artifacts during regulatory reviews. - Wuwei Shen; Chung-Ling Ling; Andrian Marcus (TEFSE@ICSE, 2013)

Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. - Chung-Ling Ling; Wuwei Shen; Dionysios Kountanis (SNPD, 2013)