Analytical Model for Assessing Unavailability in Middleboxes with Multiple Backup Servers under Shared Protection | IEEE Conference Publication | IEEE Xplore