8 Normative Contracts 8.4 Formal definition of UA Information Model Annex B defines the OPC UA NodeSet