Formal Techniques For Networked And Distributed Systems