Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet.

Konsta Karsisto Antti Valmari Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. 228-245 1996 conf/ftrtft/1996 FTRTFT db/conf/ftrtft/ftrtft1996.html#KarsistoV96