Title: Sivoes-Modeva 2004: 2004 1st International Workshop on Model, Design Andf Validation (Sivoes-Modeva): Proceedings