[xvilka]

I saw there is a work[1] on creating a temporal type theory. So ideas behind TLA+ may lead to something more universal in the future, we will see.

[1] https://arxiv.org/abs/1710.10258