Jia, Z.; Chen, R. Hybrid Model-Based Diagnosis of Web Service Compositions. AAAI 2013, 27, 1617-1618.