Models for Integration of Flexibility Sources in Regional Electricity Markets | IEEE Conference Publication | IEEE Xplore