TLA+ as a Design Accelerator: Lessons from the Industrymuratbuffalo.blogspot.com6 pointseatonphil4 months ago