Just for fun, the first hit on a google for "redundant atx power supply"
http://www.directron.com/tc400r8.html
Seems you can just plop one into your std atx chassis . . .
i have never understood how something with a single feed can be termed 'redundant'