A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures | IEEE Conference Publication | IEEE Xplore