Verification and validation activities within a new procedure model for V&V in production and logistics simulation | IEEE Conference Publication | IEEE Xplore