Yi-Chun Chu Toby J. Teorey Modeling and analysis of the Unix communication subsystems. 6 1996 conf/cascon/1996 CASCON http://doi.acm.org/10.1145/782052.782058 db/conf/cascon/cascon1996.html#ChuT96