Ensuring the conformance of reactive discrete-event systems using supervisory control. - Thieny Eron; Hervé Marchand; Vlad Rusu; Valéry Tschaen (CDC, 2003)

Test Generation Algorithms Based on Preorder Relations. - Valéry Tschaen (Model-Based Testing of Reactive Systems, 2004)

From Safety Verification to Safety Testing. - Vlad Rusu; Hervé Marchand; Valéry Tschaen; Thierry Jéron; Bertrand Jeannet (TestCom, 2004)