Backup Resource Allocation Model with Two-Stage Probabilistic Protection | IEEE Conference Publication | IEEE Xplore