Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking. - Chengyang Mi; Huaikou Miao; Jinyu Kai; Honghao Gao (SERA, 2016)