A formal approach for the inference plane supporting integrated management tasks in the Future Internet | IEEE Conference Publication | IEEE Xplore