A new procedure model for verification and validation in production and logistics simulation | IEEE Conference Publication | IEEE Xplore