M.  Alodib, Bordbar, B., and Majeed, B., ?On automated generation of Diagnosers in fault tolerant Service Oriented Architectures?, Journal of Digital Information Management, vol. 7, no. 6, pp. 336 - 342, 2009.