A Formal Approach to Conformance Testing of Distributed Routing Protocols.

Jun Bi Jianping Wu A Formal Approach to Conformance Testing of Distributed Routing Protocols. 151-163 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#BiW99