Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System