Improvement of control software for automatic logistic systems using executable environment models | IEEE Conference Publication | IEEE Xplore