a tool to identify dependability stress tests from a dependability model (fault tree) and (optionally) running them