Goal-Oriented Modeling in Fault Tolerant Service-Oriented Multi-Agent Systems | IEEE Conference Publication | IEEE Xplore