On practical problems with verification and validation of computational models · Study