ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies · Study