MODA 7, advances in model-oriented design and analysis : proceedings of the 7th International Workshop on Model-Oriented Design and Analysis held in Heeze, The Netherlands, June 14-18, 2004 / Alessandro Di Bucchianico, Henning Läuter, Henry P. Wynn, (editors).