Specifying Power Supplies