ÍNDICE

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