Text this: Analysis of Unavailability in Middleboxes With Multiple Backup Servers Under Shared Protection