Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2019/10/25/formal-analysis-of-the-cbc-casper-consensus-algorithm-with-tla/
Formal Analysis of the CBC Casper Consensus Algorithm with TLA+