Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking | IEEE Conference Publication | IEEE Xplore