Identification of Modules from Graphical Control Specification | IEEE Conference Publication | IEEE Xplore