Forming a Local Market using a Virtual Energy Community | IEEE Conference Publication | IEEE Xplore