Here’s a tweet about how the blog writer came to formal methods:
In his blog he names a tutorial he wrote, he organizes workshops too: Practical TLA+ Now Available Practical TLA+: Planning Driven Development | SpringerLink . There is also
TLA+ Video Course