A Mathematical Approach to Power System Reliability and Availability in NEPA Generation Systems