@inproceedings{artho-enforcer06,
  author = {C. Artho and A. Biere and S. Honiden},
  title = {{Enforcer}---Efficient Failure Injection},
  booktitle = {Proc.\ 14th Int.\  Conf.\ on Formal Methods (FM~2006)},
  year = "2006",
  pages     = {412--427},
  address = "Hamilton, Canada",
  publisher = {Springer},
  series = {LNCS},
  volume = {4085},
}