Model Checking for a Class of Performance Properties of Fluid Stochastic Models