An information theoretic approach to verification of modular Bayesian fusion systems | IEEE Conference Publication | IEEE Xplore