Ensuring High Quality in Specifications for Automotive Embedded Control Systems. - Eva Rakotomalala; Jean-Pierre Elloy; Pierre Molinaro; Bernard Bavoux; Didier Jampi (IESS, 2005)