Coordinating redundant OPC UA servers | IEEE Conference Publication | IEEE Xplore