On Modeling the Restoration Probability of Active Restoration-Based Optical Networks with Correlation Among Backup Routes | IEEE Conference Publication | IEEE Xplore