IEEE standard for preferred power supply (PPS) for nuclear power generating stations (Institute of Electrical and Electronics Engineers,)