Efficient reduction and modularization for large fault trees stored by pages · Study