A Steiner tree-based verification approach for handling topology changes in self-organizing networks | IEEE Conference Publication | IEEE Xplore