Simulation of High Performance Computer Systems. - François Manchon; Sylvan Dissoubray (HPCN Europe, 1997)

Design of an Automatic Teller Machine with Esterel Studio. - Sylvan Dissoubray; Bernard Dion (Formal Aspects Comput., 2000)