1 Introduction
The use of abstract models to reason about concrete artifacts has been successfully employed in science and in engineering. In fact, there are many fields for which model-driven engineering is the default, uncontested approach to follow: it is a reasonable assumption that, excluding financial or cultural limitations, no private house, let alone a bridge or a skyscraper, should be built before its model has been created and thoroughly analyzed and evolved.