A behavior-based process for evaluating availability achievement risk using stochastic activity networks | IEEE Conference Publication | IEEE Xplore