Title: Market Design for System Security in Low-Carbon Electricity Grids