It really is pointless to look at law with this, no way any state would be given permission to leave. If the time comes, you just prep for consequences and leave.
But there must be some process on the Texas side.
I’m interested in what it is?
Referendum...state legislature bill...governor EO?