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)

Adding Value to Automotive Models. - Eckard Böde; Werner Damm; Jarl Høyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken (ASWSD, 2004)

Automating Verification of Cooperation, Control, and Design in Traffic Applications. - Werner Damm; Alfred Mikschl; Jens Oehlerking; Ernst-Rüdiger Olderog; Jun Pang 001; André Platzer; Marc Segelken; Boris Wirtz (Formal Methods and Hybrid Real-Time Systems, 2007)

Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. - Marc Segelken (CAV, 2007)

Abstraktion und Gegenbeispiel-gelenkte Konstruktion von Ω-Automaten zur Verifikation Schritt-diskreter linearer hybrider Systeme. - Marc Segelken (2007)

Anforderungen auf Konsistenz überprüft - Formalisierung hilft. - Marc Segelken (Software Engineering, 2012)