T. Bingham, “A Mathematical Method to Optimize Fault Tree Displays”, J. Syst. Saf., vol. 55, no. 3, pp. 29–39, Mar. 2020.