A new procedure model for verification and validation in production and logistics simulation · Study