Constructing a risk dependency-based availability model | IEEE Conference Publication | IEEE Xplore