Augmenting Agile with Formal Methods
Thanks for writing this article.  I&#x27;ve been reading TLA+ for a while but the examples in Lamport&#x27;s book all seem so irrelevant to my day to day work that I eventually gave up.  I think starting with a motivational example like this is a better approach.  I look forward to the book.