Formal Specification and Code Generation of Programable Logic Controllers | IEEE Conference Publication | IEEE Xplore