Operation research tools and methodology for the design and provisioning of survivable optical networks | IEEE Conference Publication | IEEE Xplore