Model-Based Sensors Validation through Bayesian Conditioning and Dempster's Rule of Combination