Validation of imprecise probability models · Study