A formal model for agent-based Coalition Formation in Electricity Markets | IEEE Conference Publication | IEEE Xplore