(a) A faculty member on faculty development leave shall continue to be a member of the Teacher Retirement System of Texas or of the Optional Retirement Program of the institution of higher education, or of both, just as any other member of the faculty on full-time duty.
(b) The institution of higher education shall cause to be deducted from the compensation paid to a member of the faculty on faculty development leave the deposit and membership dues required to be paid by him to the Teacher Retirement System of Texas or to the Optional Retirement Program, or both, the contribution for Old Age and Survivors Insurance, and any other amounts required or authorized to be deducted from the compensation paid any faculty member.

(c) A member of the faculty on faculty development leave is a faculty member for purposes of participating in the programs and of receiving the benefits made available by or through the institution of higher education or the state to faculty members.