Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
scientific article; zbMATH DE number 1971927