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)

Automatic Synthesis of Assumptions for Compositional Model Checking. - Bernd Finkbeiner; Sven Schewe; Matthias Brill (FORTE, 2006)