Automatic Annotation of Software Configuration Models with Service Recovery Information | IEEE Conference Publication | IEEE Xplore