Advanced concepts in fault tree modularization · Study