Bingham, T. A Mathematical Method to Optimize Fault Tree Displays. J. Syst. Saf. 2020, 55, 29-39.