Validation, Verification and Certification of Embedded Systems Dan Craigen, Natalia Juristo, Jacques Cazin, Ernst Kesseler and Robin Bloomfield 11/24/2009