An approach to the verification of material handling systems. - Thomas Klotz; Bernd Straube; Eva Fordran; Jürgen Haufe; Frank Schulze; Karsten Turek; Thorsten Schmidt (ETFA, 2011)

On the formal verification of routing in material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (CASE, 2012)

Compositional verification of material handling systems. - Thomas Klotz; Norman Seßler; Bernd Straube; Eva Fordran; Karsten Turek; Jens Schönherr (ETFA, 2012)

Automated Formal Verification of Routing in Material Handling Systems. - Thomas Klotz; Jens Schönherr; Norman Seßler; Bernd Straube; Karsten Turek (IEEE Trans Autom. Sci. Eng., 2013)

Electrical Power Peaks in the Simulation of Material Handling Systems. - Karsten Turek; Armin Siegel; Thorsten Schmidt (Simul. Notes Eur., 2020)