An efficient generation mechanism of HMI information for heterogeneous PLCs | IEEE Conference Publication | IEEE Xplore