TLA+ as a Design Accelerator: Lessons from the Industrymuratbuffalo.blogspot.com4 pointserdal13 months ago