These problems can—with varying degrees of difficulty—be solved. The main problem is that in contrast with, for instance, compiler construction, they can be solved not by tool builders alone, but only in close cooperation with domain experts: A model-based development will necessarily be domain-specific. Find- ing common vocabularies and notations to define the conceptual, system and product models is a rather ambitious goal.