Update of Lapp-Powers Fault-Tree Synthesis Algorithm · Study