@inproceedings{Sto02b,
        author =        {M.I.A. Stoelinga},
        booktitle =     {Formal Aspects of Computing},
        title =         {Fun with {FireWire}: Experiments with Verifying
                         the IEEE1394 Root Contention Protocol},
        editor =        {S. Maharaj, C. Shankland, J.M.T. Romijn},
        year =          2002,
        note =          {accepted for publication}
}