The propagation of faults in process plants: 5. fault tree synthesis for a butane vaporiser system · Study