Practical TLA+ - Hillel Wayne (Springer, 2018)