Model checking of performance measures using bounding aggregations Conference Paper