====== Miscellaneous Resources ======
  * [[https://lamport.azurewebsites.net/tla/tlc-options.html|TLC Command Line Options]]
  * [[https://pron.github.io| Ron Pressler Blog]] with commentary on TLA+
  * [[https://www.youtube.com/watch?v=zGIK2p6csAo|Video]] State Space Explosion or: How To Fight An Uphill Battle - Markus Kuppe