Practical TLA+ Planning Driven Development - Wayne, Hillel (Apress, 2018)