The STATEMATE Verification Environment - Making It Real. - Tom Bienmüller; Werner Damm; Hartmut Wittke (CAV, 2000)

An Automata Based Interpretation of Live Sequence Charts. - Jochen Klose; Hartmut Wittke (TACAS, 2001)

Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). - Tom Bienmüller; Werner Damm; Jochen Klose; Hartmut Wittke (Informationstechnik Tech. Inform., 2001)

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. - Werner Damm; Christoph Schulte; Hartmut Wittke; Marc Segelken; Uwe Higgen; Michael Eckrich (GI Jahrestagung (1), 2003)

Formal Verification of LSCs in the Development Process. - Matthias Brill; Ralf Buschermöhle; Werner Damm; Jochen Klose; Bernd Westphal; Hartmut Wittke (SoftSpez Final Report, 2004)

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. - Matthias Brill; Werner Damm; Jochen Klose; Bernd Westphal; Hartmut Wittke (SoftSpez Final Report, 2004)

An environment for compositional specification verification of complex embedded systems. - Hartmut Wittke (2005)

Check It Out: On the Efficient Formal Verification of Live Sequence Charts. - Jochen Klose; Tobe Toben; Bernd Westphal; Hartmut Wittke (CAV, 2006)