Quantitative Model Checking of Systems with Degradation | IEEE Conference Publication | IEEE Xplore