@InProceedings{DKN02,
author={C. Daws and M. Kwiatkowska and G. Norman},
title={Automatic Verification of the {IEEE} 1394 Root Contention Protocol with {KRONOS} and {PRISM}},
booktitle={Proc. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02)},
year={2002},

editor={R. Cleaveland and H. Garavel},
pages={},
organization={},
publisher={Elsevier},
series={Electronic Notes in Theoretical Computer Science},
volume={66.2},
address={},
month={},
note={},
key={}
}