Pyseus: Modelling the Mechanisms of the EU ETS in the Decarbonisation of the European Electricity Market | IEEE Conference Publication | IEEE Xplore