MOCUS: a computer program to obtain minimal sets from fault trees · Study