L. Kühne, J. Hooman and W.P. de Roever. Towards Mechanical Verification of Parts of the IEEE P1394 Serial Bus. In Proc. Workshop on Applied Formal Methods in System Design, pages 73-85, 1997.
S.P. Luttik. Description and formal specification of the Link Layer of P1394, Technical report SEN-R9706, CWI, 1997.
M. Sighireanu and R. Mateescu. Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): an Experiment with E-LOTOS. Springer International Journal on Software Tools for Technology Transfer (STTT), 2(1):68-88, 1998.
Have we missed out your formal specification/analysis of 1394? Contact us and we'll update the page.