Objects, models, components, patterns : 50th international conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings - Carlo A. Furia, editor ([, Springer-Verlag], 2012)