@inproceedings{artho-enforcer06tool,
  author = {C. Artho and A. Biere and S. Honiden},
  title = {Testing {I/O} Failures with {Enforcer}},
  booktitle = {Proc.\ 14th Int.\ Conf.\ on Formal Methods (FM~2006)},
  year = "2006",
  address = "Hamilton, Canada",
  note = {Tool demonstration track},
}