Texas Government Code - GOV'T § 814.401. Member Death Benefits Generally

(a) Except as provided by Subsection (d), if a member dies under a circumstance described in Subsection (c), a lump-sum death benefit is payable from the state accumulation account in an amount computed at the rate of five percent of the amount in the member's individual account in the employees saving account at the time of death, times the number of full years of service credit the member had at the time of death, but not more than 100 percent of the amount in the member's individual account.

(b) The benefit provided by this section is payable to the beneficiary designated by the member under Section 814.403(b). If a member does not designate a beneficiary or if the beneficiary designation cannot be made effective, the benefit is payable to the member's estate.

(c) A benefit is payable under this section only if the member at the time of death was:

(d) A death benefit may not be paid under this section if, at the time of death, a death benefit annuity became effective.

(e) A beneficiary designation that names a former spouse as beneficiary is invalid unless the designation is made after the date of the divorce.