Complex automated negotiations: theories, models, and software competitions (2012)