Development of a probabilistic dynamic synthesis method for the analysis of nondeterministic structures / - Brown, A. M.