The Spin book, the one with the parrot on the front, is actually pretty good. Maybe not for someone like you with deep expertise, but for almost anyone else, it has a mix of motivating anecdotes, examples, computer science and insights that I've not seen bundled up anywhere else.

Your advocacy for TLA+ makes me want to try it out. I just wanted to understand what I might be getting into.