Scenario-Based Monitoring and Testing of Real-Time UML Models. - Marc Lettrari; Jochen Klose (UML, 2001)

Constructing Test Automata from Graphical Real-Time Requirements. - Henning Dierks; Marc Lettrari (FTRTFT, 2002)

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. - Marc Lettrari (FME, 2003)

Efficient state space exploration of reactive object-oriented programs. - Marc Lettrari (2005)