TLA+ as a Design Accelerator: Lessons from the Industry