Felix Merz, Christoph Schwindt, Stephan Westphal, Jürgen Zimmermann: An Auction-based Mechanism for the Formation and Scheduling of Heterogeneous Human-machine Teams. IEEM 2021: 863-868