Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.

Joris Rehm Dominique Cansell Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. 179-190 2007 ISoLA conf/isola/2007 db/conf/isola/isola2007.html#RehmC07