International Workshop on Model, Design and Validation (1st 2004 Rennes, France)