Email Record: Development of a probabilistic dynamic synthesis method for the analysis of nondeterministic structures /