Throughput capacity verification of automated parking systems | IEEE Conference Publication | IEEE Xplore