A Local Electricity Market Model for DSO Flexibility Trading | IEEE Conference Publication | IEEE Xplore