Proactive Situation Management in the Future Internet: The Case of the Smart Power Grid | IEEE Conference Publication | IEEE Xplore