Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004.