Roberto Passerone and Imene Ben Hafaiedh and Albert Benveniste and Daniela Cancila and Arnaud Cuccuru and Werner Damm and Alberto Ferrari and Sébastien Gérard and Susanne Graf and Bernhard Josko and Leonardo Mangeruca and Thomas Peikenkamp and Alberto Sangiovanni-Vincentelli and Francois Terrier
IEEE Design & Test of Computers
2009
article
38--53
SPEEDS Speculative and Exploratory Design in Systems Engineering CESAR Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems