Unser modeling 2005 : 10th international conference ; proceedings - Ardissono, Liliana; UM (10 : 2005 : Edinburgh) (Lecture notes in computer science, 2005)