Throughput capacity verification of automated parking systems. - Marcelo Zottolo; Kathryn Peacock; Eric Lammers; Edward J. Williams (WSC, 2008)