Reduced base model construction methods for stochastic activity networks | IEEE Journals & Magazine | IEEE Xplore