Discovered https://github.com/stateright/stateright and lost myself in the TLA+ rabbit-hole. Excellent resource is obviously THE Leslie Lamport's site: https://lamport.azurewebsites.net/tla/learning.html