Gunjan Khanna Padma Varadharajan Saurabh Bagchi Self Checking Network Protocols: A Monitor Based Approach. 18-30 2004 conf/srds/2004 SRDS http://csdl.computer.org/comp/proceedings/srds/2004/2239/00/22390018abs.htm db/conf/srds/srds2004.html#KhannaVB04