Modeling and Evaluating NFV-Enabled Network Services under Different Availability Modes | Synapse