Joris Rehm. Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2010, Special Section On ISOLA 2007, 12 (1), pp.39-51.
⟨10.1007/s10009-009-0130-5⟩.
⟨inria-00336624⟩