David Lee Dongluo Chen Ruibing Hao Raymond E. Miller Jianping Wu Xia Yin Network protocol system monitoring: a formal approach with passive testing. 424-437 2006 14 IEEE/ACM Trans. Netw. 2 http://doi.acm.org/10.1145/1217619.1217634 db/journals/ton/ton14.html#LeeCHMWY06