Modular Bayesian Networks: Reasoning, Verification and Model Inaccuracies door