Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking | IEEE Conference Publication | IEEE Xplore