Z. Jia and R. Chen, “Hybrid Model-Based Diagnosis of Web Service Compositions”, AAAI, vol. 27, no. 1, pp. 1617-1618, Jun. 2013.