From Logistics Process Models to Automated Integration Testing: Proof-of-Concept Using Open-Source Simulation Software | IEEE Conference Publication | IEEE Xplore