Anna L. Martensen

• The Fault-Tree Compiler