Multi-type TASEP in discrete time - James Martin; Philipp Schmidt (2010)