www.prismmodelchecker.org
[SV99] M. Stoelinga and F. Vaandrager. Root Contention in IEEE 1394. In J.-P. Katoen (editor), Proc. 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), volume 1601 of LNCS, pages 53--74, Springer. 1999. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications