A Phase-Type Expansion Approach for the Performability of Composite Web Services | IEEE Journals & Magazine | IEEE Xplore