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)

Ein Ansatz zur Verifikation von Materialflusssteuerungen. - Thomas Klotz; Bernd Straube; Eva Fordran; Norman Seßler; Jürgen Haufe; Frank Schulze (MBMV, 2012)

Model checking specifications of smart cards. - Karin Greimel; Norman Seßler; Thomas Klotz (IECON, 2013)

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)