“...International Workshop on Model-Oriented Design and Analysis (Proceedings) Heeze, The Netherlands)...”