TY  - RPRT
TI  - The Fault Tree Compiler (FTC): Program and mathematics
AU  - Butler, Ricky W.
AU  - Martensen, Anna L.
PY  - 1989
UR  - https://ntrs.nasa.gov/citations/19890015444
ID  - 19890015444
ER  -