Model Based Testing for Horizontal and Vertical Collaboration in Embedded Systems Development. - Thomas Tamisier; Hind Bouzite; Christophe Louis; Yves Gaffinet; Fernand Feltz (CDVE, 2009)