The ESTEREL Synchronous Programming Language and its Mathematical Semantics. - Gérard Berry; Laurent Cosserat (Seminar on Concurrency, 1984)

Constraint-based Vehicle Configuration: A Case Study. - Jean-Marc Astesana; Laurent Cosserat; Hélène Fargier (ICTAI (1), 2010)