Dependability Prediction of WS-BPEL Service Compositions Using Petri Net and Time Series Models | IEEE Conference Publication | IEEE Xplore