Paper Details:
Safe Compositional Specification of Networking Systems
[sod:tr] Azer Bestavros and Adam D. Bradley and Assaf J. Kfoury and Ibrahim Matta, Safe Compositional Specification of Networking Systems, BU Computer Science Technical Report, BUCS-TR-2004-021, Boston, MA, 2004.

