Optimal Management of Shuttle Robots in a High-Rise Warehouse Using Timed Automata Models. - Subanatarajan Subbiah; Christian Schoppmeyer; Josè Manuel De La Fuente Valdès; Christian Sonntag; Sebastian Engell (MIM, 2013)