Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks | IEEE Conference Publication | IEEE Xplore