Thomas Klotz, Bernd Straube, Eva Fordran, Jürgen Haufe, Frank Schulze, Karsten Turek, Thorsten Schmidt. An approach to the verification of material handling systems. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-8, IEEE, 2011. [doi]