User Guide to Model Checking for Industrial Programmers with TLA+github.com/gshanemiller1 pointscrubsa month ago