@article{SS01,
    author =        {D.P.L. Simons and M.I.A. Stoelinga},
    title =         {Mechanical Verification of the {IEEE} 1394a Root 
                         Contention Protocol using {U}ppaal2k},
    year =          2001,
    journal =      {Springer International Journal of Software Tools 
                        for Technology Transfer},
    pages =         {469--485},
}