Multi-Provider IMS Infrastructure With Controlled Redundancy: A Performability Evaluation | Synapse