TXU U. S. Holdings Company, Formerly Known as TXU Electric Company, and TXU Generation Company LP v. Texas Workforce Commission and Griselda v. Acosta ( 2005 )