Diagnosis, synthesis and analysis of probabilistic models by