@inproceedings{OrtmeierSchellhorn2006,
  author    = {Frank Ortmeier and Gerhard Schellhorn},
  title     = {Formal fault tree analysis: practical experiences},
  booktitle = {AVoCS' 06: sixth International Workshop on Automated Verification or Critical Systems, September 18-19, 2006, Nancy, France},
  editor    = {Stephan Merz},
  year      = {2006},
}