A Timed Verification of the IEEE 1394 Leader Election Protocol.

Judi Romijn A Timed Verification of the IEEE 1394 Leader Election Protocol. 165-194 2001 19 Formal Methods in System Design 2 db/journals/fmsd/fmsd19.html#Romijn01