Generating finite-state global behavior of reconfigurable automation systems: DEVS approach | IEEE Conference Publication | IEEE Xplore