Flexible Market for Smart Grid: Coordinated Trading of Contingent Contracts | Arena Library | Arena