Comment by avinassh

I have found other good articles on the same topic, by Hillel Wayne author of Practical TLA+

Uncle Bob is ruining software - https://hillelwayne.com/post/10x/

Uncle Bob and Silver Bullets - https://hillelwayne.com/post/uncle-bob/