Finding modules in fault trees | Synapse