An Architecture to Negotiate and Monitor Energy Exchanges in the Smart Microgrid | IEEE Conference Publication | IEEE Xplore