Ensuring Power System Reliability Through Service Specifications