Abhishek Halder, Raktim Bhattacharya: Probabilistic Model Validation for Uncertain Nonlinear Systems. CoRR abs/1402.0140 (2014)