Short-term allocation of Time Windows to flights through a distributed market-based CDM mechanism