@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,
}