Text this: Formal Techniques for Distributed Systems