OPC UA formal