Queuing model of vertical transportation during the down traffic pattern | IEEE Conference Publication | IEEE Xplore