Building on the SATURN D4.1 deliverable, this document describes pure pricing mechanisms that have been studied as part of SATURN. The mathematical formulation of the optimisation model of one mechanism (peak-load pricing) and the algorithmic description of another mechanism (rewarding predictability) are explained in details. Mechanisms’ decentralised and stochastic variants are also presented. The proposed mechanisms are tested numerically on large-scale instances, extracted from historical air traffic data in Europe. The behaviour of mechanisms is analysed and compared