@techreport{BUCS-TR-2005-033,
    number = {BUCS-TR-2005-033},
    author = {Likai Liu and Assaf Kfoury and Azer Bestavros and Yarom Gabay
and Adam Bradley and Ibrahim Matta},
    title = {Safe Compositional Specification of Networking Systems: A
Compositional Analysis Approach},
    month = {{December 28}},
    year = {2005},
    institution = {Computer Science Department, Boston University},
    address = {Boston, MA},
}