TxDOT may not enter into a contract with a company that is identified on the Texas Comptroller of Public Accounts’ list of companies that do business with Iran, Sudan, or designated foreign terrorist organizations.

Tex. Gov’t Code ch. 2252.152