Rui Wang Ming Gu Xiaoyu Song Hai Wan Formal Specification and Code Generation of Programable Logic Controllers. 102-109 2009 ICECCS http://dx.doi.org/10.1109/ICECCS.2009.41 conf/iceccs/2009 db/conf/iceccs/iceccs2009.html#WangGSW09