Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. - Olivier Maffeïs; Paul Le Guernic (WSA, 1993)

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. - Olivier Maffeïs; Paul Le Guernic (FTRTFT, 1994)

From SIGNAL to fine-grain parallel implementations. - Olivier Maffeïs; Paul Le Guernic (IFIP PACT, 1994)

Systematic testing and formal verification to validate reactive programs. - Monika Müllerburg; Leszek Holenderski; Olivier Maffeïs; Agathe Merceron; Matthew Morley (Softw. Qual. J., 1995)

The Synchronous Approach to Designing Reactive Systems. - Axel Poigné; Matthew Morley; Olivier Maffeïs; Leszek Holenderski; Reinhard Budde (Formal Methods Syst. Des., 1998)