Incorporating abstraction methods into system-analysis integration methodology for discrete event logistics systems | IEEE Conference Publication | IEEE Xplore