This year Nobel prize on economics was awarded to the developers of the FCC spectrum auction system, making for some interesting reading:

https://www.nobelprize.org/prizes/economic-sciences/2020/popular-information/

The book that was the basis for the prize is available at:
http://www.econ.ucla.edu/riley/271/Milgrom-Putting%20Auction%20Theory%20to%20Work.pdf

At a first glance I don't see anything that wasn't already considered by the WG, but more in-depth reading might reveal otherwise. 


Rubens