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