Efficient module-based modeling for a large-scale as/rs-agv system | IEEE Conference Publication | IEEE Xplore