Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. - David P. L. Simons; Mariëlle Stoelinga (Int. J. Softw. Tools Technol. Transf., 2001)