"The Leader Election Protocol of IEEE 1394 in Maude."

Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics