The propagation of faults in process plants: 2. Fault tree synthesis · Study