Software models for Smart Grid | IEEE Conference Publication | IEEE Xplore