@techreport{BUCS-TR-2005-015,
    number = {BUCS-TR-2005-015},
    author = {Likai Liu and Assaf Kfoury and Azer Bestavros and Adam
Bradley and Yarom Gabay and Ibrahim Matta},
    title = {Safe Compositional Specification of Networking Systems:
{TRAFFIC} The Language and Its Type Checking},
    month = {{May 12}},
    year = {2005},
    institution = {Computer Science Department, Boston University},
    address = {Boston, MA},
}