Electricity Market Mechanism Design for Grid-Connected Prosuming Communities | IEEE Conference Publication | IEEE Xplore