@misc{indiciaecf1ead0ebf57,
  title = {Fault-Tree Compiler Program},
  author = {Butler, Ricky W. and Martensen, Anna L.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19920000031},
  note = {Source identifier: 19920000031}
}