Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic | Publicación