A formal framework for modelling complex network management systems | Publicación