Performability analysis: measures, an algorithm, and a case study | IEEE Journals & Magazine | IEEE Xplore