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)

The e Language: A Fresh Separation of Concerns. - Yoav Hollander; Matthew Morley; Amos Noy (TOOLS (38), 2001)