TLA+ specifications
A different specification, with a more top-down approach. The correspondig TLA+ files, with TLC configuration files.