If you are an Emacs user, you can use the following plugin to get started with TLA+ tools: https://github.com/mrc/tla-tools