of Stochastic Processes -- Model Checking for a Class of Performance Properties of Fluid