@article{DKN04,
author={C. Daws and M. Kwiatkowska and G. Norman},
title={Automatic Verification of the {IEEE} 1394 Root Contention Protocol with {KRONOS} and {PRISM}},
journal={International Journal on Software Tools for Technology Transfer (STTT)},
year={2004},

volume={5},
number={2--3},
pages={221--236},
month={},
note={},
key={}
}