@Article{KNS03b,
author={M. Kwiatkowska and G. Norman and J. Sproston},
title={Probabilistic Model Checking of Deadline Properties in the {IEEE 1394 FireWire} Root Contention Protocol},
journal={Formal Aspects of Computing},
year={2003},

volume={14},
number={3},
pages={295--318},
_month={April},
note={},
key={}
}