Introduction. - Bolognesi, Tommaso; Derrick, John (Software & Systems Modeling, 2005)