CEP4Cloud: Complex Event Processing for Self-Healing Clouds | IEEE Conference Publication | IEEE Xplore