Amendment 3 - Information technology -- Open Systems Interconnection -- Structure of management information -- Part 4: Guidelines for the definition of managed objects - Guidelines for the use of Z in formalizing the behaviour of managed objects