Market design analysis and role modelling: Methodology and first results | IEEE Conference Publication | IEEE Xplore