Guarded state machines in OPC UA | IEEE Conference Publication | IEEE Xplore