Title: Modularization of Fault Trees