Modular Bayesian Networks: Reasoning, Verification and Model Inaccuracies by