Describir: Formal Techniques for Networked and Distributed Systems :