1) Índice 2) Subcláusula 2.1 3) Nueva subcláusula 2.3 4) Nuevo anexo B Anexo B – Directrices para la utilización de Z para la formalización del comportamiento de objetos gestionados