@article{VSchuppanABiere-FAC-2003,
  author  = {Viktor Schuppan and Armin Biere},
  title   = {{Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV}},
  pages   = {267--280},
  journal = {Formal Aspects of Computing},
  volume  = {14},
  number  = {3},
  year    = {2003},
  ee      = {http://dx.doi.org/10.1007/s001650300005},
}