Model validation: A probabilistic formulation | IEEE Conference Publication | IEEE Xplore