Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan. Formal Specification and Code Generation of Programable Logic Controllers. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. pages 102-109, IEEE Computer Society, 2009. [doi]
Abstract is missing.