Why don't specifications like TLA+ become standards in the dev industry?

It can sort out alot of these issues that have todo with clearly articulating how complex software works.