Verification and Timing Analysis of Industry 4.0 Warehouse Automation Workflows | IEEE Conference Publication | IEEE Xplore