A modular representation and analysis of fault tress · Study