A Probabilistic Tool for Modeling Smart Microgrids with Renewable Energy and Demand Side Management | IEEE Conference Publication | IEEE Xplore