Formal Techniques for Distributed Systems