User Guide to Model Checking for Industrial Programmers with TLA+github.com/gshanemiller 1scrubs3mo1 comment