http://tech.stonecharioteer.com/posts/2020/til-tla-plus-statecharts-nomad-socket-programming/