Text this: Formal techniques for distributed systems :