Unavailability-Aware Backup Allocation Model for Middleboxes with Two-Stage Shared Protection | IEEE Conference Publication | IEEE Xplore