Paper Details:
Safe Compositional Specification of Networking Systems