Optimal Self-Healing of Service-Oriented Systems with Incomplete Information | IEEE Conference Publication | IEEE Xplore