UML profile for fault tolerance patterns for service-based systems | IEEE Conference Publication | IEEE Xplore