Backup Allocation Model With Probabilistic Protection for Virtual Networks Against Multiple Facility Node Failures | IEEE Journals & Magazine | IEEE Xplore