Practical TLA+ planning driven development - Wayne, Hillel (Apress, 2018)