“…International Workshop on Model-Oriented Design and Analysis…”