Author: International Workshop on Model-Oriented Design and Analysis (9th 2010 Bertinoro, Italy)