J. Elloy

Ensuring High Quality in Specifications for Automotive Embedded Control Systems

Bernard Bavoux, Jean-Pierre Elloy, Eva Rakotomalala, 2005, IESS.

ELECTRE: A language using control structure expressions to specify synchronization

Jean-Pierre Elloy, Olivier F. Roux, O. Roux, 1985, ACM '85.

AN ARCHITECTURE DESCRIPTION LANGUAGE FOR IN-VEHICLE EMBEDDED SYSTEM DEVELOPMENT

F. Simonot-Lion, J. Elloy, 2002 .