Jia, Z., and R. Chen. “Hybrid Model-Based Diagnosis of Web Service Compositions”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 1617-8, doi:10.1609/aaai.v27i1.8517.