Deriving Software Specifications from Event Based Models. - Nestor Lopez; Marianne Simonot; Véronique Donzeau-Gouge (ZB, 2000)

A methodological process for the design of a large system: two industrial case-studies. - Nestor Lopez; Marianne Simonot; Véronique Donzeau-Gouge (FMICS, 2002)